5 #include "ordergraph.h"
8 Order::Order(OrderType _type, Set *_set) :
18 void Order::initializeOrderHashTable() {
19 orderPairTable = new HashTableOrderPair();
22 void Order::initializeOrderElementsHashTable() {
23 elementTable = new HashSetOrderElement();
26 void Order::addOrderConstraint(BooleanOrder *constraint) {
27 constraints.push(constraint);
30 void Order::setOrderEncodingType(OrderEncodingType type) {
34 Order *Order::clone(CSolver *solver, CloneMap *map) {
35 Order *o = (Order *)map->get(this);
38 o = solver->createOrder(type, set->clone(solver, map));
44 if (orderPairTable != NULL) {
45 orderPairTable->resetanddelete();
46 delete orderPairTable;
48 if (elementTable != NULL) {