36 using RecSet = SetTheory::RecSet;  typedef
41   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
49   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
54     RecSet Add, Sub;  in apply()
57     for (RecSet::iterator I = Add.begin(), E = Add.end(); I != E; ++I)  in apply()
65   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
70     RecSet S1, S2;  in apply()
73     for (RecSet::iterator I = S1.begin(), E = S1.end(); I != E; ++I)  in apply()
81   virtual void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,
82                       RecSet &Elts, ArrayRef<SMLoc> Loc) = 0;
84   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
89     RecSet Set;  in apply()
101   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
102               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
113   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
114               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
130   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
131               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
148   void apply2(SetTheory &ST, DagInit *Expr, RecSet &Set, int64_t N,  in apply2()
149               RecSet &Elts, ArrayRef<SMLoc> Loc) override {  in apply2()
160   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
163     SmallVector<RecSet, 4> Args(Expr->getNumArgs());  in apply()
179   void apply(SetTheory &ST, DagInit *Expr, RecSet &Elts,  in apply()
247   void expand(SetTheory &ST, Record *Def, RecSet &Elts) override {  in expand()
283 void SetTheory::evaluate(Init *Expr, RecSet &Elts, ArrayRef<SMLoc> Loc) {  in evaluate()
325       RecSet Elts;  in expand()