Searched refs:MemberIt (Results 1 – 1 of 1) sorted by relevance
69 for (auto MemberIt = EquivalentAtoms.findLeader(At); in atomsInEquivalenceClass() local70 MemberIt != EquivalentAtoms.member_end(); ++MemberIt) in atomsInEquivalenceClass()71 Result.push_back(*MemberIt); in atomsInEquivalenceClass()