41   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
43     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
49   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
55     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
56     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
65   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
71     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
72     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
81   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
84   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
90     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
95     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
101   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
113   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
130   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
148   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
160   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
166       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
179   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
231       if (const RecVec *Result = ST.expand(Rec))  in apply()
247   void expand(SetTheory &ST, Record *Def, RecSet &Elts) override {  in expand()
248     ST.evaluate(Def->getValueInit(FieldName), Elts, Def->getLoc());  in expand()