Bug fix: typos
[satune.git] / src / ASTTransform / decomposeordertransform.h
1 /*
2  * File:   ordertransform.h
3  * Author: hamed
4  *
5  * Created on August 28, 2017, 10:35 AM
6  */
7
8 #ifndef ORDERTRANSFORM_H
9 #define ORDERTRANSFORM_H
10 #include "classlist.h"
11 #include "transform.h"
12
13
14 class DecomposeOrderTransform : public Transform {
15 public:
16         DecomposeOrderTransform(CSolver *_solver);
17         ~DecomposeOrderTransform();
18         void doTransform();
19
20         CMEMALLOC;
21 private:
22         bool isMustBeTrueNode(OrderNode *node);
23         void bypassMustBeTrueNode(OrderGraph *graph, OrderNode *node, DecomposeOrderResolver *dor);
24         void decomposeOrder(Order *currOrder, OrderGraph *currGraph, DecomposeOrderResolver *dor);
25         void removeMustBeTrueNodes(OrderGraph *graph, DecomposeOrderResolver *dor);
26         void mustEdgePrune(OrderGraph *graph, DecomposeOrderResolver *dor);
27         void attemptNodeMerge(OrderGraph *graph, OrderNode *node, DecomposeOrderResolver *dor);
28         void mergeNodes(OrderGraph *graph, OrderNode *node, OrderEdge *edge, OrderNode *dstnode, DecomposeOrderResolver *dor);
29 };
30
31
32
33 #endif/* ORDERTRANSFORM_H */
34