Switch to vector class
[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 class Order {
11  public:
12         Order(OrderType type, Set *set);
13         ~Order();
14         OrderType type;
15         Set *set;
16         HashTableOrderPair *orderPairTable;
17         HashSetOrderElement* elementTable;
18         OrderGraph *graph;
19         Vector<BooleanOrder *> constraints;
20         OrderEncoding order;
21         void initializeOrderHashTable();
22         void initializeOrderElementsHashTable();
23         void addOrderConstraint(BooleanOrder *constraint);
24         void setOrderEncodingType(OrderEncodingType type);
25         MEMALLOC;
26 };
27
28 #endif