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