Fix tabbing

[satune.git] / src / AST / iterator.h

diff --git a/src/AST/iterator.h b/src/AST/iterator.h
index 0e7303f7bc374481233f11cad41f2b81571c1ce8..5309934a78473948dceb536ea71a9184a548e379 100644 (file)
--- a/src/AST/iterator.h
+++ b/src/AST/iterator.h
@@ -4,15 +4,15 @@
 #include "structs.h"
 
 class BooleanIterator {
- public:
-       BooleanIterator(CSolver * _solver);
+public:
+       BooleanIterator(CSolver *_solver);
        ~BooleanIterator();
        bool hasNext();
-       Boolean * next();
+       Boolean *next();
        CMEMALLOC;
 
- private:
-       SetIteratorBooleanEdge * solverit;
+private:
+       SetIteratorBooleanEdge *solverit;
        HashsetBoolean discovered;
        Vector<Boolean *> boolean;
        Vector<uint> index;
@@ -20,14 +20,14 @@ class BooleanIterator {
 };
 
 class ElementIterator {
- public:
+public:
        ElementIterator(CSolver *_solver);
        ~ElementIterator();
        bool hasNext();
-       Element * next();
+       Element *next();
        CMEMALLOC;
 
- private:
+private:
        BooleanIterator bit;
        BooleanPredicate *base;
        uint baseindex;