7 #include "orderencoding.h"
13 HashTableOrderPair *orderPairTable;
14 HashSetOrderElement* elementTable;
16 VectorBooleanOrder constraints;
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);