projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
[satune.git]
/
src
/
AST
/
boolean.c
1
#include "boolean.h"
2
3
Boolean* allocBoolean(VarType t){
4
Boolean* tmp = (Boolean*) ourmalloc(sizeof (Boolean));
5
tmp->vtype=t;
6
tmp->btype=_BOOLEAN;
7
return tmp;
8
}
9
10
Boolean* allocBooleanOrder(Order* order,uint64_t first, uint64_t second){
11
Boolean* tmp = (Boolean*) ourmalloc(sizeof (Boolean));
12
tmp ->btype= _ORDER;
13
tmp->order = order;
14
tmp->first=first;
15
tmp->second=second;
16
}