Adding incremental to Java, C, and python APIs

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index 86d5a46374541cf88c6f1bd77fc643aedde6e826..091303fb18540a420da62aaac0c8ad1f632489e3 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -40,7 +40,9 @@ void printConstraint(void *solver,void *constraint);
 void *createOrder(void *solver,unsigned int type, void *set);
 void *orderConstraint(void *solver,void *order, long first, long second);
 int solve(void *solver);
+int solveIncremental(void *solver);
 long getElementValue(void *solver,void *element);
+void freezeElement(void *solver,void *element);
 int getBooleanValue(void *solver,void *boolean);
 int getOrderConstraintValue(void *solver,void *order, long first, long second);
 void printConstraints(void *solver);