search for: member_end

Given an object o of ElemType in an instance of EquivalenceClasses, I need to get a list of all members of the equivalence class that o is in. For various reasons, it is easiest if I could get an EquivalenceClasses::iterator that I can pass to member_begin and member_end. So naturally, I did something like this (pseudo-C++): EquivalenceClasses::iterator i = equiv.findValue(o); for(equiv.member_begin(i); member_end(i); ++i) { // Do stuff } Unfortunately, this doesn't seem to work. findValue returns an iterator that is not end(), but the member set of the...

...s /// in the set. If the member is not in the set, it is inserted, then /// returned. - const ElemTy &getOrInsertLeaderValue(const ElemTy &V) const { + const ElemTy &getOrInsertLeaderValue(const ElemTy &V) { member_iterator MI = findLeader(insert(V)); assert(MI != member_end() && "Value is not in the set!"); return *MI; -------------- next part -------------- A non-text attachment was scrubbed... Name: ec.patch Type: application/octet-stream Size: 676 bytes Desc: not available URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100712...

...iner where all element of all classes are stored altogether. Leader contains a pointer to the last element of the class. The idea is similar to storing multiple linked lists in an array or in a vector. Leader elements allow iterating through class elements only via EquivalenceClasses::member_begin, member_end methods. Except of that there is no difference between the leader and the rest members of an equivalence class here. These leaders doesn't relate to coset leaders or something, AFAIK. It's not a mathematical notion there. Say, for example, I want to create a set of equivalence > classe...

Can someone explain the terminology used in the Doxygen comments for EquivalenceClasses? Specifically, what is a "Leader" as opposed to other members of an equivalence class? Say, for example, I want to create a set of equivalence classes to specify subset relationships. Imagine B is a subset of A, C is a subset of B, E is a subset of D and D has no relation to any other set. I'd