Adding a new abstraction for elements: must have value

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 823b2f20ac33cb0ed23cd667c2169c627776c847..f6b73b0ee21a7082ed51010cd0465bd77e554f22 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -139,3 +139,8 @@ void printConstraints(void* solver){
 void serialize(void* solver){
        CCSOLVER(solver)->serialize();
 }
+
+
+void mustHaveValue(void *solver, void *element){
+       CCSOLVER(solver)->mustHaveValue( (Element*) element);
+}