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

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

ended() const IDClosureEnumerator
enumeratorIDClosureEnumeratorprivate
finishedIDClosureEnumeratorprivate
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)IDClosureEnumeratorfriend
otherPartIDClosureEnumeratorprivate
reset()IDClosureEnumerator
throwIfNotValid() const IDClosureEnumeratorprivate
~IDClosureEnumerator()IDClosureEnumeratorvirtual