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

[satune.git] / src / ASTTransform / decomposeordertransform.h

diff --git a/src/ASTTransform/decomposeordertransform.h b/src/ASTTransform/decomposeordertransform.h
index 1a2865cef6f64033752be24696005db51d4091d5..8351ae0f632af276b3338913370665e06993225d 100644 (file)
--- a/src/ASTTransform/decomposeordertransform.h
+++ b/src/ASTTransform/decomposeordertransform.h
@@ -16,11 +16,16 @@ public:
        DecomposeOrderTransform(CSolver *_solver);
        ~DecomposeOrderTransform();
        void doTransform();
-       void decomposeOrder (Order *currOrder, OrderGraph *currGraph);
 
        CMEMALLOC;
 private:
+       bool isMustBeTrueNode(OrderNode *node);
+       void bypassMustBeTrueNode(OrderGraph *graph, OrderNode *node, HashsetOrderEdge *edgesRemoved);
+       void decomposeOrder(Order *currOrder, OrderGraph *currGraph, HashsetOrderEdge *edgesRemoved);
+       void removeMustBeTrueNodes(OrderGraph *graph, HashsetOrderEdge *edgesRemoved);
 };
 
+
+
 #endif/* ORDERTRANSFORM_H */