From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 3 Aug 2018 08:32:40 +0000 (-0700)
Subject: Adding clone API in pycsolver ...
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=dd44a9ad309116b641b812ac8c38c3c55d726d4c;ds=sidebyside

Adding clone API in pycsolver ...
---

diff --git a/.gitignore b/.gitignore
index 480418d..64236e1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,6 @@
 #Ignoring netbeans configs
 nbproject/
-sat_solver
+sat_solver*
 setup.sh
 
 #Ignoring binary files
diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 25e1761..1c45480 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -144,3 +144,7 @@ void serialize(void* solver){
 void mustHaveValue(void *solver, void *element){
 	CCSOLVER(solver)->mustHaveValue( (Element*) element);
 }
+
+void* clone(void * solver){
+	return CCSOLVER(solver)->clone();
+}
\ No newline at end of file
diff --git a/src/ccsolver.h b/src/ccsolver.h
index f98dbf2..a17bd1c 100644
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -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
diff --git a/src/pycsolver.py b/src/pycsolver.py
index ba49d77..b0e43a9 100644
--- a/src/pycsolver.py
+++ b/src/pycsolver.py
@@ -109,6 +109,8 @@ def loadCSolver():
 	csolverlb.getOrderConstraintValue.restype = c_int
 	csolverlb.printConstraints.argtypes = [c_void_p]
 	csolverlb.printConstraints.restype = None
+        csolverlb.clone.argtypes = [c_void_p]
+	csolverlb.clone.restype = c_void_p
 	csolverlb.serialize.argtypes = [c_void_p]
 	csolverlb.serialize.restype = None
 	return csolverlb