Compute Must Values Automatically

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 3e240a4df2741050576d1cf00cc3a6f639f5bb54..ecc237e59b7c680411e66aef6757b774beee8f20 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -342,8 +342,12 @@ void CSolver::addConstraint(BooleanEdge constraint) {
                                return;
                        }
                }
-
                constraints.add(constraint);
+               Boolean *ptr=constraint.getBoolean();
+               if (constraint.isNegated())
+                       updateMustValue(ptr, BV_MUSTBEFALSE);
+               else
+                       updateMustValue(ptr, BV_MUSTBETRUE);
        }
 }