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);