3 Boolean* allocBoolean(VarType t) {
4 BooleanVar* tmp=(BooleanVar *) ourmalloc(sizeof (BooleanVar));
5 GETBOOLEANTYPE(tmp)=BOOLEANVAR;
10 Boolean* allocBooleanOrder(Order* order, uint64_t first, uint64_t second) {
11 BooleanOrder* tmp=(BooleanOrder *) ourmalloc(sizeof (BooleanOrder));
12 GETBOOLEANTYPE(tmp)=ORDERCONST;
19 void deleteBoolean(Boolean * This) {