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

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

ended() const =0MinPOCEnumeratorpure virtual
MinPOCEnumerator()MinPOCEnumeratorinlineprotected
operator*() const =0MinPOCEnumeratorpure virtual
operator++()=0MinPOCEnumeratorpure virtual
prepGTSMinPOCEnumeratorprotected
resetWith(graphs::AnonRule_csp rule, IDType ruleID, graphs::Hypergraph_csp graph)=0MinPOCEnumeratorpure virtual
resetWith(graphs::Rule_csp rule, graphs::Hypergraph_csp graph)MinPOCEnumeratorinline
resultHandlerMinPOCEnumeratorprotected
setPreparedGTS(PreparedGTS_csp gts)MinPOCEnumeratorinline
setResultHandler(BackwardResultHandler_sp resHandler)MinPOCEnumeratorinline
~MinPOCEnumerator()MinPOCEnumeratorinlinevirtual