From 7e0ecc07285209e65f9d4d022065d06a4997fc86 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 13 May 2015 11:57:06 +0100
Subject: Implementing Limited Skolemisation, in particular
 SkolemTermsDispenser.

---
 .../ox/cs/pagoda/rules/TupleDependentApproximator.java   | 16 ----------------
 1 file changed, 16 deletions(-)
 delete 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
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);
-}
-- 
cgit v1.2.3