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));
}