aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java16
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 @@
1package uk.ac.ox.cs.pagoda.rules;
2
3import org.semanticweb.HermiT.model.DLClause;
4import uk.ac.ox.cs.pagoda.multistage.AnswerTupleID;
5
6import java.util.Collection;
7
8/**
9 * It approximates rules according to a specific instantiation of the body.
10 */
11public interface TupleDependentApproximator {
12
13 Collection<DLClause> convert(DLClause clause,
14 DLClause originalClause,
15 Collection<AnswerTupleID> violationTuples);
16}