UnCoVer (Using Coverability for Verification)
|
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() | IDtoIDEnumerator | private |
iter | IDtoIDEnumerator | private |
operator++() | IDtoIDEnumerator | |
reset() | IDtoIDEnumerator | |
source | IDtoIDEnumerator | private |
targets | IDtoIDEnumerator | private |
~IDtoIDEnumerator() | IDtoIDEnumerator | virtual |