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