1 files changed, 0 insertions, 17 deletions
diff --git a/src/jrummikub/ai/fdsolver/Constraint.java b/src/jrummikub/ai/fdsolver/Constraint.java
deleted file mode 100644
index a046324..0000000
--- a/src/jrummikub/ai/fdsolver/Constraint.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package jrummikub.ai.fdsolver;
-
-import java.util.Collection;
-
-public abstract class Constraint {
-	Collection<Propagator> cachedPropagators;
-	
-	public abstract Collection<Var<?>> getWatchedVars();
-
-	public abstract Collection<Propagator> getPropagators(boolean negate);
-
-	public abstract Satisfiability getSatisfiability();
-	
-	public boolean isSatisfiable() {
-		return getSatisfiability() != Satisfiability.UNSAT;
-	}
-}