aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Approximator.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/rules/Approximator.java8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java b/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
index b2edd56..66e676b 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
@@ -1,16 +1,16 @@
1package uk.ac.ox.cs.pagoda.rules; 1package uk.ac.ox.cs.pagoda.rules;
2 2
3import java.util.Collection;
4import java.util.LinkedList;
5
6import org.semanticweb.HermiT.model.AtLeast; 3import org.semanticweb.HermiT.model.AtLeast;
7import org.semanticweb.HermiT.model.Atom; 4import org.semanticweb.HermiT.model.Atom;
8import org.semanticweb.HermiT.model.DLClause; 5import org.semanticweb.HermiT.model.DLClause;
9import org.semanticweb.HermiT.model.DLPredicate; 6import org.semanticweb.HermiT.model.DLPredicate;
10 7
8import java.util.Collection;
9import java.util.LinkedList;
10
11public interface Approximator { 11public interface Approximator {
12 12
13 public Collection<DLClause> convert(DLClause clause, DLClause originalClause); 13 Collection<DLClause> convert(DLClause clause, DLClause originalClause);
14 14
15} 15}
16 16