7 #include "orderencoding.h"
13 HashTableOrderPair *orderPairTable;
15 VectorBooleanOrder constraints;
19 Order *allocOrder(OrderType type, Set *set);
20 void initializeOrderHashTable(Order *This);
21 void addOrderConstraint(Order *This, BooleanOrder *constraint);
22 void setOrderEncodingType(Order *This, OrderEncodingType type);
23 void deleteOrder(Order *This);