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/RLUQueryReasoner.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/RLUQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java index e5564d9..bdef436 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java | |||
| @@ -41,7 +41,7 @@ class RLUQueryReasoner extends QueryReasoner { | |||
| 41 | } finally { | 41 | } finally { |
| 42 | if (ans != null) ans.dispose(); | 42 | if (ans != null) ans.dispose(); |
| 43 | } | 43 | } |
| 44 | queryRecord.addProcessingTime(Step.LowerBound, t.duration()); | 44 | queryRecord.addProcessingTime(Step.LOWER_BOUND, t.duration()); |
| 45 | 45 | ||
| 46 | ans = null; | 46 | ans = null; |
| 47 | t.reset(); | 47 | t.reset(); |
| @@ -52,10 +52,10 @@ class RLUQueryReasoner extends QueryReasoner { | |||
| 52 | } finally { | 52 | } finally { |
| 53 | if (ans != null) ans.dispose(); | 53 | if (ans != null) ans.dispose(); |
| 54 | } | 54 | } |
| 55 | queryRecord.addProcessingTime(Step.UpperBound, t.duration()); | 55 | queryRecord.addProcessingTime(Step.UPPER_BOUND, t.duration()); |
| 56 | 56 | ||
| 57 | if (queryRecord.processed()) | 57 | if (queryRecord.processed()) |
| 58 | queryRecord.setDifficulty(Step.UpperBound); | 58 | queryRecord.setDifficulty(Step.UPPER_BOUND); |
| 59 | } | 59 | } |
| 60 | 60 | ||
| 61 | @Override | 61 | @Override |
