Adding the python wrapper for the constraint solver

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index c58f380385001745a69254a764d5cdbaa508c206..2535c7f935b3c4f2c92a8a9c634c597dda278706 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -3,14 +3,14 @@
 
 #define CCSOLVER(solver) ((CSolver*)solver)
 
-void* CreateCCSolver(){
+void* createCCSolver(){
        return (void*) new CSolver();
 }
 void deleteCCSolver(void* solver){
        delete CCSOLVER(solver);
 }
 
-void *createSet(void* solver,unsigned int type, void *elements, unsigned int num){
+void *createSet(void* solver,unsigned int type, long *elements, unsigned int num){
        return CCSOLVER(solver)->createSet((VarType) type, (uint64_t *)elements, (uint) num);
 }
 
@@ -54,7 +54,7 @@ void *createFunctionOperator(void* solver,unsigned int op, void *domain, unsigne
        return CCSOLVER(solver)->createFunctionOperator((ArithOp) op, (Set **)domain, (uint) numDomain, (Set *)range, (OverFlowBehavior) overflowbehavior);
 }
 
-void *createPredicateOperator(void* solver,unsigned int op, void *domain, unsigned int numDomain){
+void *createPredicateOperator(void* solver,unsigned int op, void **domain, unsigned int numDomain){
        return CCSOLVER(solver)->createPredicateOperator((CompOp) op, (Set **)domain, (uint) numDomain);
 }