From 0a63df955ee7e748c43a0cd9303add78eda0018b Mon Sep 17 00:00:00 2001
From: Jannis Harder <harder@informatik.uni-luebeck.de>
Date: Tue, 14 Jun 2011 17:48:24 +0200
Subject: Cache propagators

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@437 72836036-5685-4462-b002-a69064685172
---
 src/jrummikub/ai/fdsolver/Constraint.java | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/jrummikub/ai/fdsolver/Constraint.java')

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();
 }
-- 
cgit v1.2.3