diff options
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraint.java')
-rw-r--r-- | src/jrummikub/ai/fdsolver/Constraint.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/jrummikub/ai/fdsolver/Constraint.java b/src/jrummikub/ai/fdsolver/Constraint.java index b081d4b..a046324 100644 --- a/src/jrummikub/ai/fdsolver/Constraint.java +++ b/src/jrummikub/ai/fdsolver/Constraint.java @@ -10,4 +10,8 @@ public abstract class Constraint { public abstract Collection<Propagator> getPropagators(boolean negate); public abstract Satisfiability getSatisfiability(); + + public boolean isSatisfiable() { + return getSatisfiability() != Satisfiability.UNSAT; + } } |