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