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