From 612729386b645b120f8397a007cd8421986af0ad Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 19 May 2015 18:22:26 +0100
Subject: Changes in the upper store querying (mainly in MyQueryReasoner).

---
 .../rules/approximators/LimitedSkolemisationApproximator.java    | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/rules/approximators')

diff --git a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
index ba58e23..20ae53b 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/LimitedSkolemisationApproximator.java
@@ -20,11 +20,10 @@ import java.util.*;
 public class LimitedSkolemisationApproximator implements TupleDependentApproximator {
 
     private static final Atom[] EMPTY_BODY = new Atom[0];
-
+    private static final Variable X = Variable.create("X");
     private final int maxTermDepth;
     private final TupleDependentApproximator alternativeApproximator;
     private final SkolemTermsManager skolemTermsManager;
-
     private Map<AnswerTupleID, Integer> mapIndividualsToDepth;
 
     public LimitedSkolemisationApproximator(int maxTermDepth) {
@@ -67,8 +66,6 @@ public class LimitedSkolemisationApproximator implements TupleDependentApproxima
         return result;
     }
 
-    private static final Variable X = Variable.create("X");
-
     private Collection<DLClause> getGroundSkolemisation(DLClause clause,
                                                         DLClause originalClause,
                                                         Tuple<Individual> violationTuple) {
@@ -78,8 +75,8 @@ public class LimitedSkolemisationApproximator implements TupleDependentApproxima
         // TODO check: strong assumption, the first tuples are the common ones
         TupleBuilder<Individual> commonIndividualsBuilder = new TupleBuilder<>();
         for (int i = 0; i < commonVars.length; i++)
-            commonIndividualsBuilder.add(violationTuple.get(i));
-        Tuple<Individual> commonIndividuals = commonIndividualsBuilder.create();
+            commonIndividualsBuilder.append(violationTuple.get(i));
+        Tuple<Individual> commonIndividuals = commonIndividualsBuilder.build();
 
         Atom headAtom = clause.getHeadAtom(0);
 
-- 
cgit v1.2.3