reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
711 if (Iter1 == RHS1.Elements.end()) 714 if (Iter1->index() > Iter2->index()) { 716 } else if (Iter1->index() == Iter2->index()) { 718 Elements.emplace_back(Iter1->index()); 719 Elements.back().intersectWithComplement(*Iter1, *Iter2, BecameZero); 722 ++Iter1; 725 Elements.push_back(*Iter1++); 730 std::copy(Iter1, RHS1.Elements.end(), std::back_inserter(Elements));