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