Implementing Limited Skolemisation, in particular SkolemTermsDispenser.

1 files changed, 0 insertions, 16 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
deleted file mode 100644
index 63057c4..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
+++ /dev/null
@@ -1,16 +0,0 @@
-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);
-}