H A D | SetTheory.cpp | 30 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) { argument 31 ST.evaluate(Expr->arg_begin(), Expr->arg_end(), Elts); 37 void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) { argument 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) { argument 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, DagIni argument 84 apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, RecSet &Elts) argument 96 apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, RecSet &Elts) argument 113 apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, RecSet &Elts) argument 132 apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N, RecSet &Elts) argument 144 apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) argument 162 apply(SetTheory &ST, DagInit *Expr, RecSet &Elts) argument 227 expand(SetTheory &ST, Record *Def, RecSet &Elts) argument [all...] |