40   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
42     ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts, Loc);  in apply()
48   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
54     ST.evaluate(*Expr->arg_begin(), Add, Loc);  in apply()
55     ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub, Loc);  in apply()
64   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
70     ST.evaluate(Expr->arg_begin()[0], S1, Loc);  in apply()
71     ST.evaluate(Expr->arg_begin()[1], S2, Loc);  in apply()
80   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
83   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
89     ST.evaluate(Expr->arg_begin()[0], Set, Loc);  in apply()
94     apply2(ST, Expr, Set, II->getValue(), Elts, Loc);  in apply()
100   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
112   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
129   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
147   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
159   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
165       ST.evaluate(Expr->getArg(i), Args[i], Loc);  in apply()
178   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
230       if (const RecVec *Result = ST.expand(Rec))  in apply()
246   void expand(SetTheory &ST, Record *Def, RecSet &Elts) override {  in expand()
247     ST.evaluate(Def->getValueInit(FieldName), Elts, Def->getLoc());  in expand()