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();
}
\ No newline at end of file