fix tabbing

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

diff --git a/src/ASTTransform/elementopt.h b/src/ASTTransform/elementopt.h
old mode 100755 (executable)
new mode 100644 (file)
index ad6e790..c1b7390
--- a/src/ASTTransform/elementopt.h
+++ b/src/ASTTransform/elementopt.h
@@ -12,6 +12,13 @@ public:
        CMEMALLOC;
 private:
        void processPredicate(BooleanPredicate *);
+       void handlePredicateEquals(BooleanPredicate *pred, ElementSet *left, ElementConst *right);
+       void handlePredicateInequality(BooleanPredicate *pred, ElementSet *left, ElementConst *right);
+       void replaceVarWithConst(BooleanPredicate *pred, ElementSet *var, ElementConst *value);
+       void constrainVarWithConst(BooleanPredicate *pred, ElementSet *var, ElementConst *value);
+
+       Vector<BooleanPredicate *> workList;
+       bool updateSets;
 };
 
 #endif