-void *createFunctionOperator(void* solver,unsigned int op, void *range,unsigned int overflowbehavior){
+void *getBooleanTrue(void *solver){
+ return CCSOLVER(solver)->getBooleanTrue().getRaw();
+}
+
+void *getBooleanFalse(void *solver){
+ return CCSOLVER(solver)->getBooleanFalse().getRaw();
+}
+
+void *createFunctionOperator(void *solver,unsigned int op, void *range,unsigned int overflowbehavior) {