diff options
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraint.java')
| -rw-r--r-- | src/jrummikub/ai/fdsolver/Constraint.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/jrummikub/ai/fdsolver/Constraint.java b/src/jrummikub/ai/fdsolver/Constraint.java index 0d4071d..f7955ce 100644 --- a/src/jrummikub/ai/fdsolver/Constraint.java +++ b/src/jrummikub/ai/fdsolver/Constraint.java @@ -1,5 +1,11 @@ package jrummikub.ai.fdsolver; +import java.util.Collection; + public interface Constraint { - + public Collection<Var<?>> getWatchedVars(); + + public Collection<Propagator> getPropagators(boolean negate); + + public Satisfiability getSatisfiability(); } |