6 class ElementOpt : public Transform {
8 ElementOpt(CSolver *_solver);
14 void processPredicate(BooleanPredicate *);
15 void handlePredicateEquals(BooleanPredicate *pred, ElementSet *left, ElementConst *right);
16 void handlePredicateInequality(BooleanPredicate *pred, ElementSet *left, ElementConst *right);
17 void replaceVarWithConst(BooleanPredicate *pred, ElementSet *var, ElementConst *value);
18 void constrainVarWithConst(BooleanPredicate *pred, ElementSet *var, ElementConst *value);
20 Vector<BooleanPredicate *> workList;