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         virtual ~DecomposeOrderTransform();
  18         void doTransform();
  19         void setOrderGraph(OrderGraph* _graph){
  20                 currGraph = _graph;
  21         }
  22         void setCurrentOrder(Order* _current) { currOrder = _current;}
  23         bool canExecuteTransform();
  24         CMEMALLOC;
  25  private:
  26         Order* currOrder;
  27         OrderGraph* currGraph;
  28 };
  29
  30 #endif /* ORDERTRANSFORM_H */
  31