9 This is a little sketchy, but apparently legit.
10 https://www.python.org/dev/peps/pep-3123/ */
12 #define GETBOOLEANTYPE(o) (((Boolean *)(o))->btype)
38 struct BooleanPredicate{
40 Predicate * predicate;
41 VectorElement* inputs;
44 struct TablePredicate{
45 BooleanPredicate predicate;
50 Boolean * allocBoolean(VarType t);
51 Boolean * allocBooleanOrder(Order * order, uint64_t first, uint64_t second);
52 Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs);
53 Boolean * allocBooleanLogic(LogicOp op, Boolean * left, Boolean* right);
55 * This function also save new boooleans to solver->allbooleans
62 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
63 void deleteBoolean(Boolean * This);