5 #include "ordergraph.h"
7 Order::Order(OrderType _type, Set *_set) :
16 void Order::initializeOrderHashTable() {
17 orderPairTable = new HashTableOrderPair();
20 void Order::initializeOrderElementsHashTable() {
21 elementTable = new HashSetOrderElement();
24 void Order::addOrderConstraint(BooleanOrder *constraint) {
25 constraints.push(constraint);
28 void Order::setOrderEncodingType(OrderEncodingType type) {
33 if (orderPairTable != NULL) {
34 orderPairTable->resetanddelete();
35 delete orderPairTable;
37 if (elementTable != NULL) {
41 deleteOrderGraph(graph);