Cache propagators

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172

7 files changed, 7 insertions, 7 deletions

diff --git a/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java b/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java
index 24e7ecf..ab0edde 100644
--- a/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/ComparatorConstraint.java
@@ -12,7 +12,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class ComparatorConstraint<T> implements Constraint {
+public class ComparatorConstraint<T> extends Constraint {
 	Var<T> x, y;
 	Comparator<T> comparator, reverseComparator;
 	ComparatorPropagator<T> trueX, trueY, falseX, falseY;
diff --git a/src/jrummikub/ai/fdsolver/constraint/FilterConstraint.java b/src/jrummikub/ai/fdsolver/constraint/FilterConstraint.java
index e676882..d01a109 100644
--- a/src/jrummikub/ai/fdsolver/constraint/FilterConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/FilterConstraint.java
@@ -12,7 +12,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class FilterConstraint<T> implements Constraint {
+public class FilterConstraint<T> extends Constraint {
 	private Var<T> var;
 	private Propagator trueProp, falseProp;
 	private Filter<T> filter;
diff --git a/src/jrummikub/ai/fdsolver/constraint/IfConstraint.java b/src/jrummikub/ai/fdsolver/constraint/IfConstraint.java
index 802acc2..3046eb5 100644
--- a/src/jrummikub/ai/fdsolver/constraint/IfConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/IfConstraint.java
@@ -11,7 +11,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class IfConstraint implements Constraint {
+public class IfConstraint extends Constraint {
 	Var<Boolean> condition;
 	Constraint child;
 	Collection<Var<?>> vars;
diff --git a/src/jrummikub/ai/fdsolver/constraint/IndexConstraint.java b/src/jrummikub/ai/fdsolver/constraint/IndexConstraint.java
index 999924f..9d80a37 100644
--- a/src/jrummikub/ai/fdsolver/constraint/IndexConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/IndexConstraint.java
@@ -13,7 +13,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class IndexConstraint<T> implements Constraint {
+public class IndexConstraint<T> extends Constraint {
 	Var<T> target;
 	Var<Integer> index;
 	List<Var<T>> list;
diff --git a/src/jrummikub/ai/fdsolver/constraint/OffsetConstraint.java b/src/jrummikub/ai/fdsolver/constraint/OffsetConstraint.java
index f91dcda..a324d2a 100644
--- a/src/jrummikub/ai/fdsolver/constraint/OffsetConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/OffsetConstraint.java
@@ -10,7 +10,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class OffsetConstraint implements Constraint {
+public class OffsetConstraint extends Constraint {
 	private Var<Integer> x, y;
 	int offset;
 	Propagator propX, propY;
diff --git a/src/jrummikub/ai/fdsolver/constraint/SameConstraint.java b/src/jrummikub/ai/fdsolver/constraint/SameConstraint.java
index 7fc8961..954b6fa 100644
--- a/src/jrummikub/ai/fdsolver/constraint/SameConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/SameConstraint.java
@@ -10,7 +10,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class SameConstraint<T> implements Constraint {
+public class SameConstraint<T> extends Constraint {
 	private Var<T> x, y;
 	Propagator propX, propY;
 
diff --git a/src/jrummikub/ai/fdsolver/constraint/SumConstraint.java b/src/jrummikub/ai/fdsolver/constraint/SumConstraint.java
index 80b19e2..c96a751 100644
--- a/src/jrummikub/ai/fdsolver/constraint/SumConstraint.java
+++ b/src/jrummikub/ai/fdsolver/constraint/SumConstraint.java
@@ -10,7 +10,7 @@ import jrummikub.ai.fdsolver.Propagator;
 import jrummikub.ai.fdsolver.Satisfiability;
 import jrummikub.ai.fdsolver.Var;
 
-public class SumConstraint implements Constraint {
+public class SumConstraint extends Constraint {
 	Var<Integer> x, y, z;
 
 	public SumConstraint(Var<Integer> x, Var<Integer> y, Var<Integer> z) {