csolverlb.createSet.restype = c_void_p
csolverlb.getElementVar.argtypes = [c_void_p, c_void_p]
csolverlb.getElementVar.restype = c_void_p
- csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint]
+ csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint]
csolverlb.createPredicateOperator.restype = c_void_p
csolverlb.applyPredicate.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint]
csolverlb.applyPredicate.restype = c_void_p
csolverlb.getElementRange.restype = c_void_p
csolverlb.getBooleanVar.argtypes = [c_void_p, c_uint]
csolverlb.getBooleanVar.restype = c_void_p
- csolverlb.createFunctionOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint, c_void_p, c_uint]
+ 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, POINTER(c_void_p), c_uint]
+ csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint]
csolverlb.createPredicateOperator.restype = c_void_p
csolverlb.createPredicateTable.argtypes = [c_void_p, c_void_p, c_uint]
csolverlb.createPredicateTable.restype = c_void_p
- csolverlb.createTable.argtypes = [c_void_p, POINTER(c_void_p), c_uint, c_void_p]
+ csolverlb.createTable.argtypes = [c_void_p, c_void_p]
csolverlb.createTable.restype = c_void_p
- csolverlb.createTableForPredicate.argtypes = [c_void_p, POINTER(c_void_p), c_uint]
+ csolverlb.createTableForPredicate.argtypes = [c_void_p]
csolverlb.createTableForPredicate.restype = c_void_p
csolverlb.addTableEntry.argtypes = [c_void_p, c_void_p, c_void_p, c_uint, c_long]
csolverlb.addTableEntry.restype = None
csolverlb.orderConstraint.restype = c_void_p
csolverlb.solve.argtypes = [c_void_p]
csolverlb.solve.restype = c_int
+ csolverlb.mustHaveValue.argtypes = [c_void_p, c_void_p]
+ csolverlb.mustHaveValue.restype = c_void_p
csolverlb.getElementValue.argtypes = [c_void_p, c_void_p]
csolverlb.getElementValue.restype = c_long
csolverlb.getBooleanValue.argtypes = [c_void_p, c_void_p]
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