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
  15 class Transformer{
  16 public:
  17         Transformer(CSolver* solver);
  18         ~Transformer();
  19         IntegerEncodingTransform* getIntegerEncodingTransform(){ return integerEncoding; }
  20         void orderAnalysis();
  21 private:
  22         //For now we can just add transforms here, but in future we may want take a smarter approach.
  23         IntegerEncodingTransform* integerEncoding;
  24
  25
  26         CSolver* solver;
  27 };
  28
  29
  30 #endif/* ORDERDECOMPOSE_H */
  31