From b8212705e65db860bbb899b16fa0e7bc9e8536cf Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 28 May 2015 19:14:03 +0100 Subject: Bug-fix in tester. --- .../ox/cs/pagoda/endomorph/plan/OpenEndPlan.java | 27 +++++++++------------- 1 file changed, 11 insertions(+), 16 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/endomorph/plan') diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java b/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java index a740833..4022c1d 100644 --- a/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java +++ b/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java @@ -1,12 +1,7 @@ package uk.ac.ox.cs.pagoda.endomorph.plan; -import java.util.Collection; -import java.util.HashSet; -import java.util.LinkedList; -import java.util.Map; -import java.util.Set; - -import uk.ac.ox.cs.pagoda.endomorph.*; +import uk.ac.ox.cs.pagoda.endomorph.Clique; +import uk.ac.ox.cs.pagoda.endomorph.DependencyGraph; import uk.ac.ox.cs.pagoda.query.AnswerTuple; import uk.ac.ox.cs.pagoda.query.QueryRecord; import uk.ac.ox.cs.pagoda.query.QueryRecord.Step; @@ -15,6 +10,8 @@ import uk.ac.ox.cs.pagoda.summary.NodeTuple; import uk.ac.ox.cs.pagoda.util.Timer; import uk.ac.ox.cs.pagoda.util.Utility; +import java.util.*; + public class OpenEndPlan implements CheckPlan { public static final int TIME_OUT_MIN = 1; @@ -23,18 +20,16 @@ public class OpenEndPlan implements CheckPlan { DependencyGraph dGraph; QueryRecord m_record; int m_answerArity; - + Set validated = new HashSet(); + Set falsified = new HashSet(); + Set passedAnswers = new HashSet(); public OpenEndPlan(Checker checker, DependencyGraph dGraph, QueryRecord record) { - this.checker = checker; + this.checker = checker; this.dGraph = dGraph; m_record = record; m_answerArity = record.getAnswerVariables().length; } - Set validated = new HashSet(); - Set falsified = new HashSet(); - Set passedAnswers = new HashSet(); - @Override public int check() { LinkedList topo = new LinkedList(dGraph.getTopologicalOrder()); @@ -93,20 +88,20 @@ public class OpenEndPlan implements CheckPlan { } m_record.addLowerBoundAnswers(validAnswers); - m_record.addProcessingTime(Step.FullReasoning, t.duration()); + m_record.addProcessingTime(Step.FULL_REASONING, t.duration()); return count; } private boolean redundant(Clique clique) { for (NodeTuple nodeTuple: clique.getNodeTuples()) - if (!passedAnswers.contains(AnswerTuple.create(nodeTuple.getAnswerTuple(), m_answerArity))) + if (!passedAnswers.contains(AnswerTuple.getInstance(nodeTuple.getAnswerTuple(), m_answerArity))) return false; return true; } private void addProjections(Clique clique) { for (NodeTuple nodeTuple: clique.getNodeTuples()) - passedAnswers.add(AnswerTuple.create(nodeTuple.getAnswerTuple(), m_answerArity)); + passedAnswers.add(AnswerTuple.getInstance(nodeTuple.getAnswerTuple(), m_answerArity)); } private void setMarkCascadelyValidated(Clique clique) { -- cgit v1.2.3