X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fccsolver.h;h=a17bd1cfd1c9601e379245d747e705baf441b77a;hp=d8e392150ec0cb06dd3b07f3ad5c350eef74f8e1;hb=dd44a9ad309116b641b812ac8c38c3c55d726d4c;hpb=9ef6c2bc13c8474fa7848e06f312cdcd05254b6b

diff --git a/src/ccsolver.h b/src/ccsolver.h
index d8e3921..a17bd1c 100644
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -18,11 +18,11 @@ void *getElementVar(void* solver,void *set);
 void *getElementConst(void* solver,unsigned int type, long value);
 void *getElementRange (void* solver,void *element);
 void* getBooleanVar(void* solver,unsigned int type);
-void *createFunctionOperator(void* solver,unsigned int op, void **domain, unsigned int numDomain, void *range,unsigned int overflowbehavior);
-void *createPredicateOperator(void* solver,unsigned int op, void **domain, unsigned int numDomain);
+void *createFunctionOperator(void* solver,unsigned int op, void *range,unsigned int overflowbehavior);
+void *createPredicateOperator(void* solver,unsigned int op);
 void *createPredicateTable(void* solver,void *table, unsigned int behavior);
-void *createTable(void* solver,void**domains, unsigned int numDomain, void *range);
-void *createTableForPredicate(void* solver,void**domains, unsigned int numDomain);
+void *createTable(void* solver, void *range);
+void *createTableForPredicate(void* solver);
 void addTableEntry(void* solver,void *table, void *inputs, unsigned int inputSize, long result);
 void *completeTable(void* solver,void *table, unsigned int behavior);
 void *applyFunction(void* solver,void *function, void**array, unsigned int numArrays, void* overflowstatus);
@@ -41,6 +41,7 @@ int getOrderConstraintValue(void* solver,void *order, long first, long second);
 void printConstraints(void* solver);
 void serialize(void* solver);
 void mustHaveValue(void *solver, void *element);
+void* clone(void * solver);
 #ifdef __cplusplus
 }
 #endif