diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-20 18:52:47 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-20 18:52:47 +0100 |
| commit | d81b086fe329fa69891eba0a4b1f73e44183620d (patch) | |
| tree | 7c55c80678660cdbd3dae18e94c4baf5b0680e11 /src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java | |
| parent | 7a68441a541b12b22587fb53072193e1130049ff (diff) | |
| download | ACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.tar.gz ACQuA-d81b086fe329fa69891eba0a4b1f73e44183620d.zip | |
Added more tests.
Querying of the upper bound is currently unstable.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java index 60f34c6..bea5bbf 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java | |||
| @@ -31,8 +31,8 @@ class RLQueryReasoner extends QueryReasoner { | |||
| 31 | } finally { | 31 | } finally { |
| 32 | if (rlAnswer != null) rlAnswer.dispose(); | 32 | if (rlAnswer != null) rlAnswer.dispose(); |
| 33 | } | 33 | } |
| 34 | queryRecord.addProcessingTime(Step.LowerBound, t.duration()); | 34 | queryRecord.addProcessingTime(Step.LOWER_BOUND, t.duration()); |
| 35 | queryRecord.setDifficulty(Step.LowerBound); | 35 | queryRecord.setDifficulty(Step.LOWER_BOUND); |
| 36 | queryRecord.markAsProcessed(); | 36 | queryRecord.markAsProcessed(); |
| 37 | } | 37 | } |
| 38 | 38 | ||
