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

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

checkAndThrow() const SubgraphPOCEnumeratorprivate
ended() const overrideSubgraphPOCEnumeratorvirtual
exceedsBound() const SubgraphPOCEnumeratorprivate
graphIDSubgraphPOCEnumeratorprivate
injectiveSubgraphPOCEnumeratorprivate
MinPOCEnumerator()MinPOCEnumeratorinlineprotected
operator*() const overrideSubgraphPOCEnumeratorvirtual
operator++() overrideSubgraphPOCEnumeratorvirtual
partialEnumeratorSubgraphPOCEnumeratorprivate
pathboundSubgraphPOCEnumeratorprivate
prepGTSMinPOCEnumeratorprotected
resetWith(graphs::AnonRule_csp rule, IDType ruleID, graphs::Hypergraph_csp graph) overrideSubgraphPOCEnumeratorvirtual
uncover::analysis::MinPOCEnumerator::resetWith(graphs::Rule_csp rule, graphs::Hypergraph_csp graph)MinPOCEnumeratorinline
resultHandlerMinPOCEnumeratorprotected
ruleIDSubgraphPOCEnumeratorprivate
setPreparedGTS(PreparedGTS_csp gts)MinPOCEnumeratorinline
setResultHandler(BackwardResultHandler_sp resHandler)MinPOCEnumeratorinline
SubgraphPOCEnumerator(bool inj, int bound)SubgraphPOCEnumerator
SubgraphPOCEnumerator(SubgraphPOCEnumerator &&oldEnum)SubgraphPOCEnumerator
~MinPOCEnumerator()MinPOCEnumeratorinlinevirtual
~SubgraphPOCEnumerator()SubgraphPOCEnumeratorvirtual