Adding support for partial order in DecomposeOrderResolver

[satune.git] / src / ASTAnalyses / ordergraph.h

diff --git a/src/ASTAnalyses/ordergraph.h b/src/ASTAnalyses/ordergraph.h
index 5f10c1fba5430fd4736ffe0a45cc9841abf070fd..a155c7f0e4e82353301fe3dcd82e33c401b9d0b2 100644 (file)
--- a/src/ASTAnalyses/ordergraph.h
+++ b/src/ASTAnalyses/ordergraph.h
@@ -24,7 +24,9 @@ public:
        void addOrderEdge(OrderNode *node1, OrderNode *node2, BooleanOrder *constr);
        void addMustOrderEdge(OrderNode *node1, OrderNode *node2, BooleanOrder *constr);
        OrderEdge *getInverseOrderEdge(OrderEdge *edge);
-       Order *getOrder() {return order;}
+       Order *getOrder() {return order;} 
+       bool isTherePath(OrderNode* source, OrderNode* destination);
+       bool isTherePathVisit(HashsetOrderNode &visited, OrderNode* current, OrderNode* destination);
        SetIteratorOrderNode *getNodes() {return nodes->iterator();}
        SetIteratorOrderEdge *getEdges() {return edges->iterator();}