2 * File: ordertransform.h
5 * Created on August 28, 2017, 10:35 AM
8 #ifndef ORDERTRANSFORM_H
9 #define ORDERTRANSFORM_H
10 #include "classlist.h"
11 #include "transform.h"
14 class DecomposeOrderTransform : public Transform {
16 DecomposeOrderTransform(CSolver *_solver);
17 ~DecomposeOrderTransform();
22 bool isMustBeTrueNode(OrderNode *node);
23 void bypassMustBeTrueNode(OrderGraph *graph, OrderNode *node, HashsetOrderEdge *edgesRemoved);
24 void decomposeOrder(Order *currOrder, OrderGraph *currGraph, HashsetOrderEdge *edgesRemoved);
25 void removeMustBeTrueNodes(OrderGraph *graph, HashsetOrderEdge *edgesRemoved);
30 #endif/* ORDERTRANSFORM_H */