Lines Matching defs:Elts

1572     void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
1576       Elts.insert(Elts2.begin(), Elts2.begin() + (Elts2.size() / 2));
1582     void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
1586       Elts.insert(Elts2.begin() + (Elts2.size() / 2), Elts2.end());
1596     void apply(SetTheory &ST, DagInit *Expr, SetTheory::RecSet &Elts,
1611       Elts.insert(Revved.begin(), Revved.end());
1621     void expand(SetTheory &ST, Record *R, SetTheory::RecSet &Elts) override {
1630         Elts.insert(R->getRecords().getDef("sv" + utostr(I + Addend)));
1643   SetTheory::RecSet Elts;
1650   ST.evaluate(DI->getArg(2), Elts, std::nullopt);
1653   for (auto &E : Elts) {
1663   if (Elts.size() > T.getNumElements()) {
1665         Elts.size() == T.getNumElements() * 2,
1668   } else if (Elts.size() < T.getNumElements()) {
1670         Elts.size() == T.getNumElements() / 2,