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