Bug fix for removing must edges...They also need to update constraints

[satune.git] / src / ASTAnalyses / Order / orderanalysis.h

diff --git a/src/ASTAnalyses/Order/orderanalysis.h b/src/ASTAnalyses/Order/orderanalysis.h
index b04ccfddc465ef6abef06c7a0e3c8e79e0a46092..89665a1fed0353bc4c01cfa8a77f287aa9978faf 100644 (file)
--- a/src/ASTAnalyses/Order/orderanalysis.h
+++ b/src/ASTAnalyses/Order/orderanalysis.h
@@ -11,9 +11,6 @@ void DFS(OrderGraph *graph, Vector<OrderNode *> *finishNodes);
 void DFSReverse(OrderGraph *graph, Vector<OrderNode *> *finishNodes);
 void completePartialOrderGraph(OrderGraph *graph);
 void resetNodeInfoStatusSCC(OrderGraph *graph);
-bool isMustBeTrueNode(OrderNode *node);
-void bypassMustBeTrueNode(CSolver *This, OrderGraph *graph, OrderNode *node);
-void removeMustBeTrueNodes(CSolver *This, OrderGraph *graph);
 void DFSMust(OrderGraph *graph, Vector<OrderNode *> *finishNodes);
 void DFSClearContradictions(CSolver *solver, OrderGraph *graph, Vector<OrderNode *> *finishNodes, bool computeTransitiveClosure);
 void reachMustAnalysis(CSolver *solver, OrderGraph *graph, bool computeTransitiveClosure);