1 files changed, 0 insertions, 26 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
deleted file mode 100644
index a7afa2e..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/ExistConstantApproximator.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package uk.ac.ox.cs.pagoda.rules;
-
-import org.semanticweb.HermiT.model.DLClause;
-import org.semanticweb.HermiT.model.Individual;
-import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxExist;
-import uk.ac.ox.cs.pagoda.rules.approximators.TupleDependentApproximator;
-import uk.ac.ox.cs.pagoda.util.tuples.Tuple;
-
-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<Tuple<Individual>> violationTuples) {
-        return overApproxExist.convert(clause, originalClause);
-    }
-}