src/ASTAnalyses/Order/orderanalysis.h

   1 #ifndef ORDERANALYSIS_H
   2 #define ORDERANALYSIS_H
   3 #include "classlist.h"
   4 #include "structs.h"
   5 #include "mymemory.h"
   6
   7 void DFSClearContradictions(CSolver *solver, OrderGraph *graph, HashtableNodeToNodeSet *table, Vector<OrderNode *> *finishNodes, bool computeTransitiveClosure);
   8 HashtableNodeToNodeSet *getMustReachMap(CSolver  *solver, OrderGraph *graph, Vector<OrderNode *> *finishNodes);
   9
  10 void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiveClosure);
  11 void localMustAnalysisTotal(CSolver *solver, OrderGraph *graph);
  12 void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph);
  13
  14 #endif
  15