From 3ffad8597290f91d21c2a2ba7657bbbc16ab1582 Mon Sep 17 00:00:00 2001
From: Jannis Harder <harder@informatik.uni-luebeck.de>
Date: Tue, 14 Jun 2011 21:05:15 +0200
Subject: Implemented initial meld test using new AI

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@441 72836036-5685-4462-b002-a69064685172
---
 src/jrummikub/ai/fdsolver/Var.java | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/src/jrummikub/ai/fdsolver/Var.java b/src/jrummikub/ai/fdsolver/Var.java
index a454487..e885cef 100644
--- a/src/jrummikub/ai/fdsolver/Var.java
+++ b/src/jrummikub/ai/fdsolver/Var.java
@@ -42,6 +42,9 @@ public class Var<T> implements Comparable<Var<T>> {
 		range.remove(value);
 		solver.logInvalidation(this, value);
 		makeDirty();
+		if (range.size() == 0) {
+			solver.contradiction = true;
+		}
 	}
 	
 	HashSet<Constraint> getConstraints() {
-- 
cgit v1.2.3