d2dc8421b08af3ca62f0111d36e8c69bfbeb8462
[satune.git] / src / AST / order.c
1 #include "order.h"
2 #include "structs.h"
3 #include "set.h"
4 #include "boolean.h"
5
6
7 Order* allocOrder(OrderType type, Set * set){
8         Order* order = (Order*)ourmalloc(sizeof(Order));
9         order->set=set;
10         allocInlineDefVectorBoolean(& order->constraints);
11         order->type=type;
12         return order;
13 }
14
15 void deleteOrder(Order* order){
16         deleteVectorArrayBoolean(& order->constraints);
17         ourfree(order);
18 }