void Order::addOrderConstraint(BooleanOrder *constraint) {
constraints.push(constraint);
+ useditems.add(constraint->first);
+ useditems.add(constraint->second);
}
void Order::setOrderEncodingType(OrderEncodingType type) {
}
void Order::print() {
- model_print("{Order on Set:\n");
+ model_print("{Order<%p> on Set:\n", this);
set->print();
model_print("}\n");
}