Adding support for Integer Encoding ...
[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 #include "orderencoding.h"
8 #include "boolean.h"
9
10 struct Order {
11         OrderType type;
12         Set *set;
13         HashTableOrderPair *orderPairTable;
14         HashSetOrderElement* elementTable;
15         OrderGraph *graph;
16         VectorBooleanOrder constraints;
17         OrderEncoding order;
18 };
19
20 Order *allocOrder(OrderType type, Set *set);
21 void initializeOrderHashTable(Order *This);
22 void initializeOrderElementsHashTable(Order *This);
23 void addOrderConstraint(Order *This, BooleanOrder *constraint);
24 void setOrderEncodingType(Order *This, OrderEncodingType type);
25 void deleteOrder(Order *This);
26 #endif