UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for IDClosureEnumerator, including all inherited members.
ended() const | IDClosureEnumerator | |
enumerator | IDClosureEnumerator | private |
finished | IDClosureEnumerator | private |
IDClosureEnumerator(unordered_set< IDType > const &idSet, basic_types::IDPartition const &partition) | IDClosureEnumerator | |
IDClosureEnumerator(IDClosureEnumerator &&oldEnum) | IDClosureEnumerator | |
isValid() const | IDClosureEnumerator | |
operator*() const | IDClosureEnumerator | |
operator++() | IDClosureEnumerator | |
operator<<(std::ostream &ost, IDClosureEnumerator const &data) | IDClosureEnumerator | friend |
otherPart | IDClosureEnumerator | private |
reset() | IDClosureEnumerator | |
throwIfNotValid() const | IDClosureEnumerator | private |
~IDClosureEnumerator() | IDClosureEnumerator | virtual |