From d81b086fe329fa69891eba0a4b1f73e44183620d Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 20 May 2015 18:52:47 +0100 Subject: Added more tests. Querying of the upper bound is currently unstable. --- src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/RLQueryReasoner.java') 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 { } finally { if (rlAnswer != null) rlAnswer.dispose(); } - queryRecord.addProcessingTime(Step.LowerBound, t.duration()); - queryRecord.setDifficulty(Step.LowerBound); + queryRecord.addProcessingTime(Step.LOWER_BOUND, t.duration()); + queryRecord.setDifficulty(Step.LOWER_BOUND); queryRecord.markAsProcessed(); } -- cgit v1.2.3