diff options
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() { |