1 #ifndef ORDERANALYSIS_H
2 #define ORDERANALYSIS_H
7 void DFSClearContradictions(CSolver *solver, OrderGraph *graph, HashtableNodeToNodeSet * table, Vector<OrderNode *> *finishNodes, bool computeTransitiveClosure);
8 HashtableNodeToNodeSet * getMustReachMap(CSolver *solver, OrderGraph *graph, Vector<OrderNode *> *finishNodes);
10 void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiveClosure);
11 void localMustAnalysisTotal(CSolver *solver, OrderGraph *graph);
12 void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph);