Merging + fixing memory bugs

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index aea2161e6da9eb5e8c62042a6c6f68ede22cb4cc..aca46a59e37331ee87b20281aaee464fa5e7e532 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -146,10 +146,18 @@ int solve(void *solver) {
        return CCSOLVER(solver)->solve();
 }
 
+int solveIncremental(void *solver) {
+       return CCSOLVER(solver)->solveIncremental();
+}
+
 long getElementValue(void *solver,void *element) {
        return (long) CCSOLVER(solver)->getElementValue((Element *)element);
 }
 
+void freezeElement(void *solver,void *element) {
+       CCSOLVER(solver)->freezeElement((Element *)element);
+}
+
 int getBooleanValue(void *solver, void *boolean) {
        return CCSOLVER(solver)->getBooleanValue(BooleanEdge((Boolean *) boolean));
 }
@@ -162,6 +170,10 @@ void printConstraints(void *solver) {
        CCSOLVER(solver)->printConstraints();
 }
 
+void turnoffOptimizations(void *solver) {
+       CCSOLVER(solver)->turnoffOptimizations();
+}
+
 
 void serialize(void *solver) {
        CCSOLVER(solver)->serialize();