summaryrefslogtreecommitdiffstats
path: root/src/jrummikub/ai/fdsolver/Constraint.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraint.java')
-rw-r--r--src/jrummikub/ai/fdsolver/Constraint.java10
1 files changed, 6 insertions, 4 deletions
diff --git a/src/jrummikub/ai/fdsolver/Constraint.java b/src/jrummikub/ai/fdsolver/Constraint.java
index f7955ce..b081d4b 100644
--- a/src/jrummikub/ai/fdsolver/Constraint.java
+++ b/src/jrummikub/ai/fdsolver/Constraint.java
@@ -2,10 +2,12 @@ package jrummikub.ai.fdsolver;
import java.util.Collection;
-public interface Constraint {
- public Collection<Var<?>> getWatchedVars();
+public abstract class Constraint {
+ Collection<Propagator> cachedPropagators;
+
+ public abstract Collection<Var<?>> getWatchedVars();
- public Collection<Propagator> getPropagators(boolean negate);
+ public abstract Collection<Propagator> getPropagators(boolean negate);
- public Satisfiability getSatisfiability();
+ public abstract Satisfiability getSatisfiability();
}