5 #include "ordergraph.h"
7 Order::Order(OrderType _type, Set *_set) :
17 void Order::initializeOrderHashTable() {
18 orderPairTable = new HashTableOrderPair();
21 void Order::initializeOrderElementsHashTable() {
22 elementTable = new HashSetOrderElement();
25 void Order::addOrderConstraint(BooleanOrder *constraint) {
26 constraints.push(constraint);
29 void Order::setOrderEncodingType(OrderEncodingType type) {
34 if (orderPairTable != NULL) {
35 orderPairTable->resetanddelete();
36 delete orderPairTable;
38 if (elementTable != NULL) {
42 deleteOrderGraph(graph);