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