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

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

baseSetSize() const IDPartitionEnumerator
currentIDPartitionEnumeratorprivate
ended() const IDPartitionEnumerator
genPartitionsSetIDPartitionEnumeratorprivate
genPartitionsVecIDPartitionEnumeratorprivate
IDPartitionEnumerator(vector< IDType > const &idSet)IDPartitionEnumerator
IDPartitionEnumerator(unordered_set< IDType > const &idSet)IDPartitionEnumerator
IDPartitionEnumerator(IDPartitionEnumerator &&oldEnum)IDPartitionEnumerator
IDPartitionEnumerator()IDPartitionEnumeratorprivate
isValid() const IDPartitionEnumerator
lastNewIDPartitionEnumeratorprivate
operator*() const IDPartitionEnumerator
operator++()IDPartitionEnumerator
reset()IDPartitionEnumerator
throwIfNotValid() const IDPartitionEnumeratorprivate
validIDPartitionEnumeratorprivate
~IDPartitionEnumerator()IDPartitionEnumeratorvirtual