More SAT Encoder
[satune.git] / src / AST / boolean.c
1 #include "boolean.h"
2
3 Boolean* allocBoolean(VarType t) {
4         BooleanVar* tmp=(BooleanVar *) ourmalloc(sizeof (BooleanVar));
5         GETBOOLEANTYPE(tmp)=BOOLEANVAR;
6         tmp->vtype=t;
7         tmp->var=NULL;
8         return & tmp->base;
9 }
10
11 Boolean* allocBooleanOrder(Order* order, uint64_t first, uint64_t second) {
12         BooleanOrder* tmp=(BooleanOrder *) ourmalloc(sizeof (BooleanOrder));
13         GETBOOLEANTYPE(tmp)=ORDERCONST;
14         tmp->order=order;
15         tmp->first=first;
16         tmp->second=second;
17         return & tmp -> base;
18 }
19
20 void deleteBoolean(Boolean * This) {
21         ourfree(This);
22 }