add new class

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index e5858554b6139ab10817cd622c2986ac6ba42557..d8e392150ec0cb06dd3b07f3ad5c350eef74f8e1 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -39,6 +39,8 @@ long getElementValue(void* solver,void *element);
 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