diff options
| author | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 17:48:24 +0200 |
|---|---|---|
| committer | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 17:48:24 +0200 |
| commit | 0a63df955ee7e748c43a0cd9303add78eda0018b (patch) | |
| tree | b4f26ffdaf45ea4d2c3d7863e1e7d8c442eb9d1d /src/jrummikub/ai/fdsolver/Constraint.java | |
| parent | 7568f3782466531fe04fc14a40dc4d3a393c1fb9 (diff) | |
| download | JRummikub-0a63df955ee7e748c43a0cd9303add78eda0018b.tar JRummikub-0a63df955ee7e748c43a0cd9303add78eda0018b.zip | |
Cache propagators
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Constraint.java')
| -rw-r--r-- | src/jrummikub/ai/fdsolver/Constraint.java | 10 |
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(); } |