add new class

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index d47e5ae29710223ef9063b58c818c10557424c9f..d8e392150ec0cb06dd3b07f3ad5c350eef74f8e1 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -40,6 +40,7 @@ int getBooleanValue(void* solver,void* boolean);
 int getOrderConstraintValue(void* solver,void *order, long first, long second);
 void printConstraints(void* solver);
 void serialize(void* solver);
+void mustHaveValue(void *solver, void *element);
 #ifdef __cplusplus
 }
 #endif