src/ASTTransform/transform.h

   1 /*
   2  * File:   transform.h
   3  * Author: hamed
   4  *
   5  * Created on August 26, 2017, 5:13 PM
   6  */
   7
   8 #ifndef TRANSFORM_H
   9 #define TRANSFORM_H
  10
  11 #include "classlist.h"
  12 #include "mymemory.h"
  13 #include "structs.h"
  14
  15 class Transform {
  16 public:
  17         Transform();
  18         ~Transform();
  19         void orderIntegerEncodingSATEncoder(CSolver *This, BooleanOrder *boolOrder);
  20         MEMALLOC;
  21 private:
  22         HashTableOrderIntegerEncoding* orderIntegerEncoding;
  23 };
  24
  25 #endif /* TRANSFORM_H */
  26