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