src/ASTTransform/transformer.h

   1 /*
   2  * File:   transformer.h
   3  * Author: hamed
   4  *
   5  * Created on August 24, 2017, 5:33 PM
   6  */
   7
   8 #ifndef ORDERDECOMPOSE_H
   9 #define ORDERDECOMPOSE_H
  10 #include "classlist.h"
  11 #include "structs.h"
  12 #include "transform.h"
  13 #include "integerencoding.h"
  14 #include "decomposeordertransform.h"
  15
  16 class Transformer{
  17 public:
  18         Transformer(CSolver* solver);
  19         ~Transformer();
  20         IntegerEncodingTransform* getIntegerEncodingTransform(){ return integerEncoding; }
  21         void orderAnalysis();
  22 private:
  23         //For now we can just add transforms here, but in future we may want take a smarter approach.
  24         IntegerEncodingTransform* integerEncoding;
  25         DecomposeOrderTransform* decomposeOrder;
  26
  27         CSolver* solver;
  28 };
  29
  30
  31 #endif/* ORDERDECOMPOSE_H */
  32