src/ASTTransform/preprocess.h

   1 #ifndef PREPROCESS_H
   2 #define PREPROCESS_H
   3 #include "classlist.h"
   4 #include "transform.h"
   5
   6 class Preprocess : public Transform {
   7         public:
   8         Preprocess(CSolver *_solver);
   9         ~Preprocess();
  10         void doTransform();
  11
  12         CMEMALLOC;
  13 private:
  14                                 HashsetBoolean toremove;
  15                                 void processBooleanVar(BooleanVar * b);
  16                                 void resolveBooleanVars();
  17 };
  18
  19 #endif