5 * Created on August 8, 2017, 6:36 PM
8 #ifndef ORDERGRAPHBUILDER_H
9 #define ORDERGRAPHBUILDER_H
10 #include "classlist.h"
14 void computeStronglyConnectedComponentGraph(OrderGraph *graph);
15 void orderAnalysis(CSolver *solver);
16 void initializeNodeInfoSCC(OrderGraph *graph);
17 void DFSNodeVisit(OrderNode *node, VectorOrderNode *finishNodes, bool isReverse, bool mustvisit, uint sccNum);
18 void DFS(OrderGraph *graph, VectorOrderNode *finishNodes);
19 void DFSReverse(OrderGraph *graph, VectorOrderNode *finishNodes);
20 void completePartialOrderGraph(OrderGraph *graph);
21 void resetNodeInfoStatusSCC(OrderGraph *graph);
22 void removeMustBeTrueNodes(OrderGraph *graph);
23 void completePartialOrderGraph(OrderGraph *graph);
24 void DFSMust(OrderGraph *graph, VectorOrderNode *finishNodes);
25 void DFSClearContradictions(CSolver *solver, OrderGraph *graph, VectorOrderNode *finishNodes, bool computeTransitiveClosure);
26 void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiveClosure);
27 void localMustAnalysisTotal(CSolver *solver, OrderGraph *graph);
28 void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph);
29 void orderAnalysis(CSolver *This);
30 void decomposeOrder(CSolver *This, Order *order, OrderGraph *graph);
32 #endif/* ORDERGRAPHBUILDER_H */