more code

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

diff --git a/src/ASTTransform/elementopt.h b/src/ASTTransform/elementopt.h
index ad6e7902dd05004bec307e2c364d732260c584da..980bb87b75b43423d9984890b316a7063567463b 100755 (executable)
--- a/src/ASTTransform/elementopt.h
+++ b/src/ASTTransform/elementopt.h
@@ -12,6 +12,10 @@ 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);
+       Vector<BooleanPredicate *> workList;
 };
 
 #endif