4 csolverlb = cdll.LoadLibrary("lib_cons_comp.so")
5 csolverlb.createCCSolver.restype = c_void_p
6 csolverlb.createSet.argtypes = [c_void_p, c_uint, POINTER(c_long), c_uint]
7 csolverlb.createSet.restype = c_void_p
8 csolverlb.getElementVar.argtypes = [c_void_p, c_void_p]
9 csolverlb.getElementVar.restype = c_void_p
10 csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint]
11 csolverlb.createPredicateOperator.restype = c_void_p
12 csolverlb.applyPredicate.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint]
13 csolverlb.applyPredicate.restype = c_void_p
14 csolverlb.addConstraint.argtypes = [c_void_p, c_void_p]
15 csolverlb.addConstraint.restype = None
16 csolverlb.solve.argtypes = [c_void_p]
17 csolverlb.solve.restype = c_int
18 csolverlb.getElementValue.argtypes = [c_void_p, c_void_p]
19 csolverlb.getElementValue.restype = c_long
20 csolverlb.deleteCCSolver.argtypes = [c_void_p]
21 csolverlb.deleteCCSolver.restype = None
22 csolverlb.createRangeSet.argtypes = [c_void_p, c_uint, c_long, c_long]
23 csolverlb.createRangeSet.restype = c_void_p
24 csolverlb.createRangeVar.argtypes = [c_void_p, c_uint, c_long, c_long]
25 csolverlb.createRangeVar.restype = c_void_p
26 csolverlb.createMutableSet.argtypes = [c_void_p, c_uint]
27 csolverlb.createMutableSet.restype = c_void_p
28 csolverlb.addItem.argtypes = [c_void_p, c_void_p, c_long]
29 csolverlb.addItem.restype = None
30 csolverlb.finalizeMutableSet.argtypes = [c_void_p, c_void_p]
31 csolverlb.finalizeMutableSet.restype = None
32 csolverlb.getElementVar.argtypes = [c_void_p, c_void_p]
33 csolverlb.getElementVar.restype = c_void_p
34 csolverlb.getElementConst.argtypes = [c_void_p, c_uint, c_long]
35 csolverlb.getElementConst.restype = c_void_p
36 csolverlb.getElementRange.argtypes = [c_void_p, c_void_p]
37 csolverlb.getElementRange.restype = c_void_p
38 csolverlb.getBooleanVar.argtypes = [c_void_p, c_uint]
39 csolverlb.getBooleanVar.restype = c_void_p
40 csolverlb.createFunctionOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint, c_void_p, c_uint]
41 csolverlb.createFunctionOperator.restype = c_void_p
42 csolverlb.createPredicateOperator.argtypes = [c_void_p, c_uint, POINTER(c_void_p), c_uint]
43 csolverlb.createPredicateOperator.restype = c_void_p
44 csolverlb.createPredicateTable.argtypes = [c_void_p, c_void_p, c_uint]
45 csolverlb.createPredicateTable.restype = c_void_p
46 csolverlb.createTable.argtypes = [c_void_p, POINTER(c_void_p), c_uint, c_void_p]
47 csolverlb.createTable.restype = c_void_p
48 csolverlb.createTableForPredicate.argtypes = [c_void_p, POINTER(c_void_p), c_uint]
49 csolverlb.createTableForPredicate.restype = c_void_p
50 csolverlb.addTableEntry.argtypes = [c_void_p, c_void_p, c_void_p, c_uint, c_long]
51 csolverlb.addTableEntry.restype = None
52 csolverlb.completeTable.argtypes = [c_void_p, c_void_p, c_uint]
53 csolverlb.completeTable.restype = c_void_p
54 csolverlb.applyFunction.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint, c_void_p]
55 csolverlb.applyFunction.restype = c_void_p
56 csolverlb.applyPredicateTable.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint, c_void_p]
57 csolverlb.applyPredicateTable.restype = c_void_p
58 csolverlb.applyPredicate.argtypes = [c_void_p, c_void_p, POINTER(c_void_p), c_uint]
59 csolverlb.applyPredicate.restype = c_void_p
60 csolverlb.applyLogicalOperation.argtypes = [c_void_p, c_uint, c_void_p, c_uint]
61 csolverlb.applyLogicalOperation.restype = c_void_p
62 csolverlb.applyLogicalOperationTwo.argtypes = [c_void_p, c_uint, c_void_p, c_void_p]
63 csolverlb.applyLogicalOperationTwo.restype = c_void_p
64 csolverlb.applyLogicalOperationOne.argtypes = [c_void_p, c_uint, c_void_p]
65 csolverlb.applyLogicalOperationOne.restype = c_void_p
66 csolverlb.addConstraint.argtypes = [c_void_p, c_void_p]
67 csolverlb.addConstraint.restype = None
68 csolverlb.createOrder.argtypes = [c_void_p, c_uint, c_void_p]
69 csolverlb.createOrder.restype = c_void_p
70 csolverlb.orderConstraint.argtypes = [c_void_p, c_void_p, c_long, c_long]
71 csolverlb.orderConstraint.restype = c_void_p
72 csolverlb.solve.argtypes = [c_void_p]
73 csolverlb.solve.restype = c_int
74 csolverlb.getElementValue.argtypes = [c_void_p, c_void_p]
75 csolverlb.getElementValue.restype = c_long
76 csolverlb.getBooleanValue.argtypes = [c_void_p, c_void_p]
77 csolverlb.getBooleanValue.restype = c_int
78 csolverlb.getOrderConstraintValue.argtypes = [c_void_p, c_void_p, c_long, c_long]
79 csolverlb.getOrderConstraintValue.restype = c_int
80 csolverlb.printConstraints.argtypes = [c_void_p]
81 csolverlb.printConstraints.restype = None