8 #include "functionencoding.h"
11 This is a little sketchy, but apparently legit.
12 https://www.python.org/dev/peps/pep-3123/ */
14 #define GETBOOLEANTYPE(o) GETASTNODETYPE(o)
15 #define GETBOOLEANPARENTS(o) (&((Boolean *)(o))->parents)
19 VectorBoolean parents;
41 struct BooleanPredicate {
43 Predicate * predicate;
44 FunctionEncoding encoding;
48 Boolean * allocBoolean(VarType t);
49 Boolean * allocBooleanOrder(Order * order, uint64_t first, uint64_t second);
50 Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs);
51 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize);
52 void deleteBoolean(Boolean * This);