-void mustHaveValue(void *solver, void *element){
- CCSOLVER(solver)->mustHaveValue( (Element*) element);
+void mustHaveValue(void *solver, void *element) {
+ CCSOLVER(solver)->mustHaveValue( (Element *) element);
+}
+
+void setInterpreter(void *solver, unsigned int type) {
+ CCSOLVER(solver)->setInterpreter((InterpreterType)type);
+}
+
+void *clone(void *solver) {
+ return CCSOLVER(solver)->clone();