Finish iterator class
[satune.git] / src / ASTTransform / preprocess.h
index 1272266b6da26a4193221b85ecaa4ae2cc2f616f..ea9800d8e2b035b426c99e095b30af0485dbcfe5 100644 (file)
@@ -4,16 +4,16 @@
 #include "transform.h"
 
 class Preprocess : public Transform {
      public:
-        Preprocess(CSolver *_solver);
-        ~Preprocess();
-        void doTransform();
-
-        CMEMALLOC;
-private:
-                               HashsetBoolean toremove;
-                               void processBooleanVar(BooleanVar * b);
-                               void resolveBooleanVars();
+ public:
+       Preprocess(CSolver *_solver);
+       ~Preprocess();
+       void doTransform();
+       
+       CMEMALLOC;
+ private:
+       HashsetBoolean toremove;
+       void processBooleanVar(BooleanVar * b);
+       void resolveBooleanVars();
 };
 
 #endif