diff options
| author | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 21:05:15 +0200 |
|---|---|---|
| committer | Jannis Harder <harder@informatik.uni-luebeck.de> | 2011-06-14 21:05:15 +0200 |
| commit | 3ffad8597290f91d21c2a2ba7657bbbc16ab1582 (patch) | |
| tree | f2d4847afdebfc3778b70cca751f81ea4678b5e1 /src/jrummikub/ai/fdsolver/Var.java | |
| parent | 751d5a3aa98461bf27f2a21a157e72f8da89406a (diff) | |
| download | JRummikub-3ffad8597290f91d21c2a2ba7657bbbc16ab1582.tar JRummikub-3ffad8597290f91d21c2a2ba7657bbbc16ab1582.zip | |
Implemented initial meld test using new AI
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@441 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/ai/fdsolver/Var.java')
| -rw-r--r-- | src/jrummikub/ai/fdsolver/Var.java | 3 |
1 files changed, 3 insertions, 0 deletions
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() { |