30   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
31     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts);  in apply()
37   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
46         Elts.insert(*I);  in apply()
52   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
60         Elts.insert(*I);  in apply()
68                      RecSet &Elts) =0;
70   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
78     apply2(ST, Expr, Set, II->getValue(), Elts);  in apply()
86              RecSet &Elts) {  in apply2()
90       Elts.insert(Set.begin() + N, Set.end());  in apply2()
98              RecSet &Elts) {  in apply2()
103     Elts.insert(Set.begin(), Set.begin() + N);  in apply2()
115              RecSet &Elts) {  in apply2()
125     Elts.insert(Set.begin() + N, Set.end());  in apply2()
126     Elts.insert(Set.begin(), Set.begin() + N);  in apply2()
134              RecSet &Elts) {  in apply2()
138       Elts.insert(Set[I]);  in apply2()
144   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
156           Elts.insert(Args[i][n]);  in apply()
162   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {  in apply()
212         Elts.insert(Result->begin(), Result->end());  in apply()
214         Elts.insert(Rec);  in apply()
227   void expand(SetTheory &ST, Record *Def, RecSet &Elts) {  in expand()
228     ST.evaluate(Def->getValueInit(FieldName), Elts);  in expand()
262 void SetTheory::evaluate(Init *Expr, RecSet &Elts) {  in evaluate()  argument
266       return Elts.insert(Result->begin(), Result->end());  in evaluate()
267     Elts.insert(Def->getDef());  in evaluate()
273     return evaluate(LI->begin(), LI->end(), Elts);  in evaluate()
285   Op->apply(*this, DagExpr, Elts);  in evaluate()
301         RecSet Elts;  in expand()  local
302         Exp->expand(*this, Set, Elts);  in expand()
303         EltVec.assign(Elts.begin(), Elts.end());  in expand()