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         CMEMALLOC;
  23  private:
  24         //For now we can just add transforms here, but in future we may want take a smarter approach.
  25         IntegerEncodingTransform* integerEncoding;
  26         DecomposeOrderTransform* decomposeOrder;
  27
  28         CSolver* solver;
  29 };
  30
  31
  32 #endif/* ORDERDECOMPOSE_H */
  33