reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
710 while (Iter2 != RHS2.Elements.end()) { 714 if (Iter1->index() > Iter2->index()) { 715 ++Iter2; 716 } else if (Iter1->index() == Iter2->index()) { 719 Elements.back().intersectWithComplement(*Iter1, *Iter2, BecameZero); 723 ++Iter2;