5 #include "ordergraph.h"
7 Order::Order(OrderType _type, Set *_set) : type(_type), set(_set), orderPairTable(NULL), elementTable(NULL), graph(NULL) {
8 initOrderEncoding(&order, this);
11 void Order::initializeOrderHashTable() {
12 orderPairTable = new HashTableOrderPair();
15 void Order::initializeOrderElementsHashTable() {
16 elementTable = new HashSetOrderElement();
19 void Order::addOrderConstraint(BooleanOrder *constraint) {
20 constraints.push(constraint);
23 void Order::setOrderEncodingType(OrderEncodingType type) {
28 deleteOrderEncoding(&order);
29 if (orderPairTable != NULL) {
30 orderPairTable->resetanddelete();
31 delete orderPairTable;
33 if (elementTable != NULL) {
37 deleteOrderGraph(graph);