7 Order* allocOrder(OrderType type, Set * set){
8 Order* order = (Order*)ourmalloc(sizeof(Order));
10 allocInlineDefVectorBoolean(& order->constraints);
12 allocOrderEncoding(& order->order, order);
16 void addOrderConstraint(Order* order, BooleanOrder* constraint){
17 pushVectorBoolean( &order->constraints, (Boolean) constraint);
20 void setOrderEncodingType(Order* order, OrderEncodingType type){
21 order->order.type = type;
24 void deleteOrder(Order* order){
25 deleteVectorArrayBoolean(& order->constraints);
26 deleteOrderEncoding(& order->order);