7 #include "orderencoding.h"
12 Order(OrderType type, Set *set);
16 HashTableOrderPair *orderPairTable;
17 HashSetOrderElement* elementTable;
19 Vector<BooleanOrder *> constraints;
21 void initializeOrderHashTable();
22 void initializeOrderElementsHashTable();
23 void addOrderConstraint(BooleanOrder *constraint);
24 void setOrderEncodingType(OrderEncodingType type);