diff options
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraint.java')
-rw-r--r-- | src/jrummikub/ai/fdsolver/Constraint.java | 17 |
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; - } -} |