Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 53e1901d101624c6296d45f3824be341bc6e7b0c..c5c3b8d6fff90869b2be6338a3c0bcd3c477bfb1 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -57,6 +57,8 @@ public:
 
        Set *getElementRange (Element *element);
 
+        void mustHaveValue(Element *element);
+        
        BooleanEdge getBooleanTrue();
 
        BooleanEdge getBooleanFalse();