Lines Matching defs:Elts

1627     void apply(SetTheory &ST, const DagInit *Expr, SetTheory::RecSet &Elts,
1631       Elts.insert(Elts2.begin(), Elts2.begin() + (Elts2.size() / 2));
1637     void apply(SetTheory &ST, const DagInit *Expr, SetTheory::RecSet &Elts,
1641       Elts.insert(Elts2.begin() + (Elts2.size() / 2), Elts2.end());
1651     void apply(SetTheory &ST, const DagInit *Expr, SetTheory::RecSet &Elts,
1666       Elts.insert(Revved.begin(), Revved.end());
1677                 SetTheory::RecSet &Elts) override {
1686         Elts.insert(R->getRecords().getDef("sv" + utostr(I + Addend)));
1699   SetTheory::RecSet Elts;
1706   ST.evaluate(DI->getArg(2), Elts, {});
1709   for (auto &E : Elts) {
1719   if (Elts.size() > T.getNumElements()) {
1721         Elts.size() == T.getNumElements() * 2,
1724   } else if (Elts.size() < T.getNumElements()) {
1726         Elts.size() == T.getNumElements() / 2,