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 deleteOrder(Order* order){
17 deleteVectorArrayBoolean(& order->constraints);
18 deleteOrderEncoding(& order->order);