39   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
41     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
47   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
53     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
54     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
63   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
69     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
70     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
79   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
82   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
88     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
93     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
99   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
111   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
128   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
146   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
158   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
164       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
177   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
229       if (const RecVec *Result = ST.expand(Rec))  in apply()
245   void expand(SetTheory &ST, Record *Def, RecSet &Elts) override {  in expand()
246     ST.evaluate(Def->getValueInit(FieldName), Elts, Def->getLoc());  in expand()