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.

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

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

diff --git a/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
new file mode 100644
index 0000000..63057c4
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
@@ -0,0 +1,16 @@
+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;
+
+/**
+ * It approximates rules according to a specific instantiation of the body.
+ */
+public interface TupleDependentApproximator {
+
+    Collection<DLClause> convert(DLClause clause,
+                                 DLClause originalClause,
+                                 Collection<AnswerTupleID> violationTuples);
+}
-- 
cgit v1.2.3