Get rid of refs to order in graph

[satune.git] / src / Encoders / orderencoder.h

diff --git a/src/Encoders/orderencoder.h b/src/Encoders/orderencoder.h
index 67e6103994c2f5c39cc73845c7d12b2e8a31fb04..b9d9c77c027e3bc53a23219126c8514b446c3ff4 100644 (file)
--- a/src/Encoders/orderencoder.h
+++ b/src/Encoders/orderencoder.h
@@ -14,7 +14,7 @@
 enum NodeStatus {NOTVISITED, VISITED, FINISHED};
 typedef enum NodeStatus NodeStatus;
 
-struct NodeInfo{
+struct NodeInfo {
        NodeStatus status;
        uint finishTime;
 };
@@ -29,11 +29,13 @@ OrderEncoder* allocOrderEncoder();
 void deleteOrderEncoder(OrderEncoder* This);
 
 OrderEncoder* buildOrderGraphs(CSolver* This);
+OrderGraph* buildOrderGraph(Order *order);
 void computeStronglyConnectedComponentGraph(OrderGraph* graph);
 void orderAnalysis(CSolver* solver);
-void initializeNodeInfoSCC(OrderGraph* graph, HashTableNode* nodeToInfo);
-void DFSNodeVisit(OrderNode* node, VectorOrderNode* finishNodes, HashTableNode* nodeToInfo, uint* timer, bool isReverse);
-void DFS(OrderGraph* graph, VectorOrderNode* finishNodes, HashTableNode* nodeToInfo, bool isReverse);
+void initializeNodeInfoSCC(OrderGraph* graph, HashTableNodeInfo* nodeToInfo);
+void DFSNodeVisit(OrderNode* node, VectorOrderNode* finishNodes, HashTableNodeInfo* nodeToInfo, uint* timer, bool isReverse);
+void DFS(OrderGraph* graph, VectorOrderNode* finishNodes, HashTableNodeInfo* nodeToInfo);
+void DFSReverse(OrderGraph* graph, VectorOrderNode* finishNodes, HashTableNodeInfo* nodeToInfo);
 
 #endif /* ORDERGRAPHBUILDER_H */