UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for IDPartitionEnumerator, including all inherited members.
baseSetSize() const | IDPartitionEnumerator | |
current | IDPartitionEnumerator | private |
ended() const | IDPartitionEnumerator | |
genPartitionsSet | IDPartitionEnumerator | private |
genPartitionsVec | IDPartitionEnumerator | private |
IDPartitionEnumerator(vector< IDType > const &idSet) | IDPartitionEnumerator | |
IDPartitionEnumerator(unordered_set< IDType > const &idSet) | IDPartitionEnumerator | |
IDPartitionEnumerator(IDPartitionEnumerator &&oldEnum) | IDPartitionEnumerator | |
IDPartitionEnumerator() | IDPartitionEnumerator | private |
isValid() const | IDPartitionEnumerator | |
lastNew | IDPartitionEnumerator | private |
operator*() const | IDPartitionEnumerator | |
operator++() | IDPartitionEnumerator | |
reset() | IDPartitionEnumerator | |
throwIfNotValid() const | IDPartitionEnumerator | private |
valid | IDPartitionEnumerator | private |
~IDPartitionEnumerator() | IDPartitionEnumerator | virtual |