neworder = getVectorOrder(&ordervec, from->sccNum);
if (neworder == NULL) {
Set *set = (Set *) allocMutableSet(order->set->type);
- neworder = allocOrder(order->type, set);
+ neworder = new Order(order->type, set);
pushVectorOrder(This->allOrders, neworder);
setExpandVectorOrder(&ordervec, from->sccNum, neworder);
if (order->type == PARTIAL)
setExpandVectorOrder(&partialcandidatevec, from->sccNum, NULL);
}
orderconstraint->order = neworder;
- addOrderConstraint(neworder, orderconstraint);
+ neworder->addOrderConstraint(orderconstraint);
}
}