UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for MinPOCEnumerator, including all inherited members.
ended() const =0 | MinPOCEnumerator | pure virtual |
MinPOCEnumerator() | MinPOCEnumerator | inlineprotected |
operator*() const =0 | MinPOCEnumerator | pure virtual |
operator++()=0 | MinPOCEnumerator | pure virtual |
prepGTS | MinPOCEnumerator | protected |
resetWith(graphs::AnonRule_csp rule, IDType ruleID, graphs::Hypergraph_csp graph)=0 | MinPOCEnumerator | pure virtual |
resetWith(graphs::Rule_csp rule, graphs::Hypergraph_csp graph) | MinPOCEnumerator | inline |
resultHandler | MinPOCEnumerator | protected |
setPreparedGTS(PreparedGTS_csp gts) | MinPOCEnumerator | inline |
setResultHandler(BackwardResultHandler_sp resHandler) | MinPOCEnumerator | inline |
~MinPOCEnumerator() | MinPOCEnumerator | inlinevirtual |