1 files changed, 0 insertions, 31 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/constraints/NullaryBottom.java b/src/uk/ac/ox/cs/pagoda/constraints/NullaryBottom.java
deleted file mode 100644
index 16a9d45..0000000
--- a/src/uk/ac/ox/cs/pagoda/constraints/NullaryBottom.java
+++ /dev/null
@@ -1,31 +0,0 @@
-package uk.ac.ox.cs.pagoda.constraints;
-
-import java.util.Collection;
-
-import org.semanticweb.HermiT.model.Atom;
-import org.semanticweb.HermiT.model.DLClause;
-import org.semanticweb.HermiT.model.Term;
-
-public class NullaryBottom implements BottomStrategy {
-        
-        @Override
-        public Collection<DLClause> process(Collection<DLClause> clauses) {
-                return clauses;
-        }
-
-        @Override
-        public boolean isBottomRule(DLClause clause) {
-                return clause.getHeadLength() == 0;
-        }
-
-        @Override
-        public Atom[] getEmptyHead(Term t) {
-                return new Atom[0];
-        }
-
-        @Override
-        public int getBottomNumber() {
-                return 1;
-        }
-
-}