X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fccsolver.h;h=8e708b833e407aa2a4aed5205fd501cfd0919fb7;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hp=86d5a46374541cf88c6f1bd77fc643aedde6e826;hpb=081e954fa3566ad9a2522ca45bef8e29472d2a72;p=satune.git

diff --git a/src/ccsolver.h b/src/ccsolver.h
index 86d5a46..8e708b8 100644
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -40,10 +40,13 @@ 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);
+void turnoffOptimizations(void *solver);
 void serialize(void *solver);
 void mustHaveValue(void *solver, void *element);
 void setInterpreter(void *solver, unsigned int type);