Saving the best tuner settings + bug fixes

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

diff --git a/src/ASTTransform/elementopt.h b/src/ASTTransform/elementopt.h
index 980bb87b75b43423d9984890b316a7063567463b..a1f6005f7736a5f62bb8ca046216e80688a7f39e 100755 (executable)
--- a/src/ASTTransform/elementopt.h
+++ b/src/ASTTransform/elementopt.h
@@ -15,7 +15,10 @@ private:
        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