From 0c2726db44b562cbda9bfa87e76d829927c31ec8 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 12 May 2015 18:48:56 +0100
Subject: Added classes for implementing new upper store (Limited
 Skolemisation). Started implementation of the new classes.

---
 .../cs/pagoda/rules/ExistConstantApproximator.java | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java

(limited to 'src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java')

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);
+    }
+}
-- 
cgit v1.2.3