X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fpycsolver.py;h=f08d164e5d5edbbf094793c20270ea4b2fb77c06;hb=3c33c8ed7c4600da543b2a82bcffd5aca86f0eb9;hp=a3e0f11b3c5ed981997a84b2a44b006a86f8f352;hpb=8ae6061f7eae5614e9f8bf1ccd9ad80bef9cd768;p=satune.git

diff --git a/src/pycsolver.py b/src/pycsolver.py
index a3e0f11..f08d164 100644
--- a/src/pycsolver.py
+++ b/src/pycsolver.py
@@ -65,6 +65,10 @@ def loadCSolver():
 	csolverlb.getElementRange.restype = c_void_p
 	csolverlb.getBooleanVar.argtypes = [c_void_p, c_uint]
 	csolverlb.getBooleanVar.restype = c_void_p
+	csolverlb.getBooleanTrue.argtypes = [c_void_p]
+	csolverlb.getBooleanTrue.restype = c_void_p
+	csolverlb.getBooleanFalse.argtypes = [c_void_p]
+	csolverlb.getBooleanFalse.restype = c_void_p
 	csolverlb.createFunctionOperator.argtypes = [c_void_p, c_uint, c_void_p, c_uint]
 	csolverlb.createFunctionOperator.restype = c_void_p
 	csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint]
@@ -89,6 +93,8 @@ def loadCSolver():
 	csolverlb.applyLogicalOperation.restype = c_void_p
 	csolverlb.applyExactlyOneConstraint.argtypes = [c_void_p, c_void_p, c_uint]
 	csolverlb.applyExactlyOneConstraint.restype = c_void_p
+	csolverlb.applyAtMostOneConstraint.argtypes = [c_void_p, c_void_p, c_uint]
+	csolverlb.applyAtMostOneConstraint.restype = c_void_p
 	csolverlb.applyLogicalOperationTwo.argtypes = [c_void_p, c_uint, c_void_p, c_void_p]
 	csolverlb.applyLogicalOperationTwo.restype = c_void_p
 	csolverlb.applyLogicalOperationOne.argtypes = [c_void_p, c_uint, c_void_p]