From 8253e957e54d31699b4bd827300bc1fa794c4660 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 23 Oct 2012 18:03:33 +1100
Subject: Another fix, with a test for what the problem was.

---
 impl/VariableAssignment.hpp | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

(limited to 'impl/VariableAssignment.hpp')

diff --git a/impl/VariableAssignment.hpp b/impl/VariableAssignment.hpp
index 3f4ff70..21226ac 100644
--- a/impl/VariableAssignment.hpp
+++ b/impl/VariableAssignment.hpp
@@ -62,17 +62,8 @@ struct DynamicVariableAssignment : public VariableAssignment<Domain> {
       _values[x] = unknown(infinity<Domain>());
 
       solve(x);
-      /*
-      IdSet<Variable<Domain> > infl = _influence[x];
-      _influence[x].clear();
-      for (typename IdSet<Variable<Domain> >::iterator
-             it = infl.begin(),
-             ei = infl.end();
-           it != ei;
-           ++it) {
-        invalidate(_system.variable(*it));
-      }
-      */
+      if (_values[x] == infinity<Domain>())
+        _values[x] = _values[x].asKnown();
     }
   }
 
-- 
cgit v1.2.3