UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
IDtoIDEnumerator Member List

This is the complete list of members for IDtoIDEnumerator, including all inherited members.

ended() const IDtoIDEnumerator
getSource() const IDtoIDEnumerator
getTarget() const IDtoIDEnumerator
IDtoIDEnumerator(IDType sourceID, unordered_set< IDType > const &targetIDs)IDtoIDEnumerator
IDtoIDEnumerator(IDtoIDEnumerator &&oldEnum)IDtoIDEnumerator
IDtoIDEnumerator()IDtoIDEnumeratorprivate
iterIDtoIDEnumeratorprivate
operator++()IDtoIDEnumerator
reset()IDtoIDEnumerator
sourceIDtoIDEnumeratorprivate
targetsIDtoIDEnumeratorprivate
~IDtoIDEnumerator()IDtoIDEnumeratorvirtual