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