From e06ba8ea1346e5045a34508648ac93150aacb01a Mon Sep 17 00:00:00 2001
From: Jannis Harder <harder@informatik.uni-luebeck.de>
Date: Fri, 17 Jun 2011 17:41:52 +0200
Subject: Reimplemented AI (old one was too slow)

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@443 72836036-5685-4462-b002-a69064685172
---
 src/jrummikub/ai/fdsolver/Constraint.java | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 src/jrummikub/ai/fdsolver/Constraint.java

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

diff --git a/src/jrummikub/ai/fdsolver/Constraint.java b/src/jrummikub/ai/fdsolver/Constraint.java
deleted file mode 100644
index a046324..0000000
--- a/src/jrummikub/ai/fdsolver/Constraint.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package jrummikub.ai.fdsolver;
-
-import java.util.Collection;
-
-public abstract class Constraint {
-	Collection<Propagator> cachedPropagators;
-	
-	public abstract Collection<Var<?>> getWatchedVars();
-
-	public abstract Collection<Propagator> getPropagators(boolean negate);
-
-	public abstract Satisfiability getSatisfiability();
-	
-	public boolean isSatisfiable() {
-		return getSatisfiability() != Satisfiability.UNSAT;
-	}
-}
-- 
cgit v1.2.3