edits
[satune.git] / src / AST / order.h
1 #ifndef ORDER_H
2 #define ORDER_H
3 #include "classlist.h"
4 #include "mymemory.h"
5 #include "structs.h"
6 #include "ops.h"
7 struct Order {
8         OrderType type;
9         Set * set;
10         VectorBoolean* constraints;
11 };
12
13 Order* allocOrder(OrderType type, Set * set);
14 Boolean* getOrderConstraint(Order* order,uint64_t first, uint64_t second);
15 #endif