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()
200         Elts.insert(Result->begin(), Result->end());  in apply()
202         Elts.insert(Rec);  in apply()
213   void expand(SetTheory &ST, Record *Def, RecSet &Elts) {  in expand()
214     ST.evaluate(Def->getValueInit(FieldName), Elts);  in expand()
248 void SetTheory::evaluate(Init *Expr, RecSet &Elts) {  in evaluate()  argument
252       return Elts.insert(Result->begin(), Result->end());  in evaluate()
253     Elts.insert(Def->getDef());  in evaluate()
259     return evaluate(LI->begin(), LI->end(), Elts);  in evaluate()
271   Op->apply(*this, DagExpr, Elts);  in evaluate()
287         RecSet Elts;  in expand()  local
288         Exp->expand(*this, Set, Elts);  in expand()
289         EltVec.assign(Elts.begin(), Elts.end());  in expand()