aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-20 18:52:47 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-20 18:52:47 +0100
commitd81b086fe329fa69891eba0a4b1f73e44183620d (patch)
tree7c55c80678660cdbd3dae18e94c4baf5b0680e11 /src/uk/ac/ox/cs/pagoda/reasoner/RLUQueryReasoner.java
parent7a68441a541b12b22587fb53072193e1130049ff (diff)
downloadACQuA-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.java6
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