7 Order* allocOrder(OrderType type, Set * set){
8 Order* order = (Order*)ourmalloc(sizeof(Order));
10 allocInlineDefVectorBoolean(& order->constraints);
12 allocOrderEncoding(& order->order, order);
13 order->boolsToConstraints = NULL;
17 void initializeOrderHashTable(Order* order){
18 order->boolsToConstraints= allocHashTableBoolConst(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
21 void addOrderConstraint(Order* order, BooleanOrder* constraint){
22 pushVectorBoolean( &order->constraints, (Boolean*) constraint);
25 void setOrderEncodingType(Order* order, OrderEncodingType type){
26 order->order.type = type;
29 void deleteOrder(Order* order){
30 deleteVectorArrayBoolean(& order->constraints);
31 deleteOrderEncoding(& order->order);
32 deleteHashTableBoolConst(order->boolsToConstraints);