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();
19 void decomposeOrder (Order *currOrder, OrderGraph *currGraph);
25 #endif/* ORDERTRANSFORM_H */