UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for MinorPOCEnumerator, including all inherited members.
checkAndThrow() const | MinorPOCEnumerator | private |
ended() const override | MinorPOCEnumerator | virtual |
graphID | MinorPOCEnumerator | private |
MinorPOCEnumerator() | MinorPOCEnumerator | |
MinorPOCEnumerator(MinorPOCEnumerator &&oldEnum) | MinorPOCEnumerator | |
MinPOCEnumerator() | MinPOCEnumerator | inlineprotected |
operator*() const override | MinorPOCEnumerator | virtual |
operator++() override | MinorPOCEnumerator | virtual |
partialEnumerator | MinorPOCEnumerator | private |
prepGTS | MinPOCEnumerator | protected |
resetWith(graphs::AnonRule_csp rule, IDType ruleID, graphs::Hypergraph_csp graph) override | MinorPOCEnumerator | virtual |
uncover::analysis::MinPOCEnumerator::resetWith(graphs::Rule_csp rule, graphs::Hypergraph_csp graph) | MinPOCEnumerator | inline |
resultHandler | MinPOCEnumerator | protected |
ruleID | MinorPOCEnumerator | private |
setPreparedGTS(PreparedGTS_csp gts) | MinPOCEnumerator | inline |
setResultHandler(BackwardResultHandler_sp resHandler) | MinPOCEnumerator | inline |
~MinorPOCEnumerator() | MinorPOCEnumerator | virtual |
~MinPOCEnumerator() | MinPOCEnumerator | inlinevirtual |