Added classes for implementing new upper store (Limited Skolemisation).

Started implementation of the new classes.

1 files changed, 23 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
new file mode 100644
index 0000000..74c531f
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
@@ -0,0 +1,23 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import org.semanticweb.HermiT.model.DLClause;
+import uk.ac.ox.cs.pagoda.multistage.AnswerTupleID;
+
+import java.util.Collection;
+
+/**
+ * A wrapper for <tt>OverApproxExist</tt>.
+ * */
+public class ExistConstantApproximator implements TupleDependentApproximator {
+
+    private final OverApproxExist overApproxExist;
+
+    public ExistConstantApproximator() {
+        overApproxExist = new OverApproxExist();
+    }
+
+    @Override
+    public Collection<DLClause> convert(DLClause clause, DLClause originalClause, Collection<AnswerTupleID> violationTuples) {
+        return overApproxExist.convert(clause, originalClause);
+    }
+}