#include "transform.h"
class Preprocess : public Transform {
- public:
- Preprocess(CSolver *_solver);
- ~Preprocess();
- void doTransform();
+public:
+ Preprocess(CSolver *_solver);
+ ~Preprocess();
+ void doTransform();
- CMEMALLOC;
+ CMEMALLOC;
private:
- HashsetBoolean toremove;
- void processBooleanVar(BooleanVar * b);
- void resolveBooleanVars();
+ HashsetBoolean toremove;
+ void processBooleanVar(BooleanVar *b);
+ void resolveBooleanVars();
};
#endif