Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
[satune.git] / src / AST / boolean.c
index 13070fa502d786a6aa13003bf271450e513377e6..ce6fad950d39d66d85dac78a28358ec72e0318b6 100644 (file)
@@ -1 +1,16 @@
 #include "boolean.h"
+
+Boolean* allocBoolean(VarType t){
+    Boolean* tmp = (Boolean*) ourmalloc(sizeof (Boolean));
+    tmp->vtype=t;
+    tmp->btype=_BOOLEAN;
+    return tmp;
+}
+
+Boolean* allocBooleanOrder(Order* order,uint64_t first, uint64_t second){
+    Boolean* tmp = (Boolean*) ourmalloc(sizeof (Boolean));
+    tmp ->btype= _ORDER;
+    tmp->order = order;
+    tmp->first=first;
+    tmp->second=second;
+}
\ No newline at end of file