edits

[satune.git] / src / ASTTransform / preprocess.h

diff --git a/src/ASTTransform/preprocess.h b/src/ASTTransform/preprocess.h
index 3aa37499aa0df725629cf783c43e2db9c65bbacd..2bca8bc734177c23d50706838421c69d03f80a9a 100644 (file)
--- a/src/ASTTransform/preprocess.h
+++ b/src/ASTTransform/preprocess.h
@@ -4,19 +4,16 @@
 #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 processed;
-                               HashsetBoolean toremove;
-                               void transformBoolean(Boolean *b);
-                               void processBooleanVar(BooleanVar * b);
-                               void processLogicOp(BooleanLogic * b);
-                               void resolveBooleanVars();
+       HashsetBoolean toremove;
+       void processBooleanVar(BooleanVar *b);
+       void resolveBooleanVars();
 };
 
 #endif