Lines Matching refs:ST
30 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
31 ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts);
37 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
42 ST.evaluate(*Expr->arg_begin(), Add);
43 ST.evaluate(Expr->arg_begin() + 1, Expr->arg_end(), Sub);
52 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
56 ST.evaluate(Expr->arg_begin()[0], S1);
57 ST.evaluate(Expr->arg_begin()[1], S2);
66 virtual void apply2(SetTheory &ST, DagInit *Expr,
70 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
74 ST.evaluate(Expr->arg_begin()[0], Set);
78 apply2(ST, Expr, Set, II->getValue(), Elts);
84 void apply2(SetTheory &ST, DagInit *Expr,
96 void apply2(SetTheory &ST, DagInit *Expr,
113 void apply2(SetTheory &ST, DagInit *Expr,
132 void apply2(SetTheory &ST, DagInit *Expr,
144 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
149 ST.evaluate(Expr->getArg(i), Args[i]);
162 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) {
211 if (const RecVec *Result = ST.expand(Rec))
227 void expand(SetTheory &ST, Record *Def, RecSet &Elts) {
228 ST.evaluate(Def->getValueInit(FieldName), Elts);