5 #include "ordergraph.h"
8 Order::Order(OrderType _type, Set *_set) :
17 void Order::initializeOrderHashTable() {
18 orderPairTable = new HashTableOrderPair();
22 void Order::addOrderConstraint(BooleanOrder *constraint) {
23 constraints.push(constraint);
26 void Order::setOrderEncodingType(OrderEncodingType type) {
30 Order *Order::clone(CSolver *solver, CloneMap *map) {
31 Order *o = (Order *)map->get(this);
34 o = solver->createOrder(type, set->clone(solver, map));
40 if (orderPairTable != NULL) {
41 orderPairTable->resetanddelete();
42 delete orderPairTable;