#include "mymemory.h"
class OrderGraph {
- public:
+public:
OrderGraph(Order *order);
~OrderGraph();
void addOrderConstraintToOrderGraph(BooleanOrder *bOrder);
void addOrderEdge(OrderNode *node1, OrderNode *node2, BooleanOrder *constr);
void addMustOrderEdge(OrderNode *node1, OrderNode *node2, BooleanOrder *constr);
OrderEdge *getInverseOrderEdge(OrderEdge *edge);
+ Order *getOrder() {return order;}
+ SetIteratorOrderNode *getNodes() {return nodes->iterator();}
+ SetIteratorOrderEdge *getEdges() {return edges->iterator();}
+
+ CMEMALLOC;
+private:
HashSetOrderNode *nodes;
HashSetOrderEdge *edges;
Order *order;