5 #include "ordergraph.h"
7 Order::Order(OrderType _type, Set *_set) :
16 void Order::initializeOrderHashTable() {
17 orderPairTable = new HashTableOrderPair();
21 void Order::addOrderConstraint(BooleanOrder *constraint) {
22 constraints.push(constraint);
25 void Order::setOrderEncodingType(OrderEncodingType type) {
30 if (orderPairTable != NULL) {
31 orderPairTable->resetanddelete();
32 delete orderPairTable;