X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Felementopt.h;h=a1f6005f7736a5f62bb8ca046216e80688a7f39e;hb=8c035a2362d28098740c6afc16897c71e52614fd;hp=980bb87b75b43423d9984890b316a7063567463b;hpb=dea71d97549f037bd9b098b8abb121f02c6ba9df;p=satune.git

diff --git a/src/ASTTransform/elementopt.h b/src/ASTTransform/elementopt.h
index 980bb87..a1f6005 100755
--- 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