5 Boolean* allocBoolean(VarType t) {
6 BooleanVar* tmp=(BooleanVar *) ourmalloc(sizeof (BooleanVar));
7 GETBOOLEANTYPE(tmp)=BOOLEANVAR;
12 Boolean* allocBooleanOrder(Order* order, uint64_t first, uint64_t second) {
13 BooleanOrder* tmp=(BooleanOrder *) ourmalloc(sizeof (BooleanOrder));
14 GETBOOLEANTYPE(tmp)=ORDERCONST;
21 Boolean * allocBooleanPredicate(Predicate * predicate, Element ** inputs, uint numInputs){
22 BooleanPredicate* bp = (BooleanPredicate*) ourmalloc(sizeof(BooleanPredicate));
23 GETBOOLEANTYPE(bp)= PREDICATEOP;
24 bp->predicate=predicate;
25 bp->inputs= allocVectorArrayElement (numInputs,inputs);
29 Boolean * allocBooleanLogic(LogicOp op, Boolean * left, Boolean* right){
30 BooleanLogic* bl = (BooleanLogic*) ourmalloc(sizeof(BooleanLogic));
31 GETBOOLEANTYPE(bl) = LOGICOP;
37 Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, uint asize){
39 Boolean* boolean = allocBooleanLogic(op,array[0], array[1]);
40 pushVectorBoolean(solver->allBooleans,boolean);
41 for(uint i=2; i<asize; i++){
42 boolean=allocBooleanLogic(op,boolean, array[i]);
43 pushVectorBoolean(solver->allBooleans,boolean);
48 void deleteBoolean(Boolean * This) {