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 processed;
  15                                 HashsetBoolean toremove;
  16                                 void transformBoolean(Boolean *b);
  17                                 void processBooleanVar(BooleanVar * b);
  18                                 void processLogicOp(BooleanLogic * b);
  19                                 void resolveBooleanVars();
  20 };
  21
  22 #endif