7 Order* allocOrder(OrderType type, Set * set){
8 Order* order = (Order*)ourmalloc(sizeof(Order));
10 order->constraints = allocDefVectorBoolean();
15 void deleteOrder(Order* order){
16 uint size = getSizeVectorBoolean( order->constraints );
17 for(uint i=0; i<size; i++){
18 deleteBoolean( getVectorBoolean(order->constraints, i) );
20 deleteSet( order->set);