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

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

cfWrtOriginalRule() const PartialPOCEnumeratorinlineprivate
computeCurrent()PartialPOCEnumeratorprivate
currentGraphPartialPOCEnumeratorprivate
currentMappPartialPOCEnumeratorprivate
edgeMergingsPartialPOCEnumeratorprivate
ended() const PartialPOCEnumerator
genTemplates()PartialPOCEnumeratorprivate
getCurrentCoMatch() const PartialPOCEnumerator
getGraph() const PartialPOCEnumerator
getMapping() const PartialPOCEnumerator
getNext()PartialPOCEnumeratorprivate
incEdgeMergings()PartialPOCEnumeratorprivate
injectivePartialPOCEnumeratorprivate
mergableEdgesPartialPOCEnumeratorprivate
mergeEdges()PartialPOCEnumeratorprivate
mergeNodes()PartialPOCEnumeratorprivate
nodesAlreadyMergedPartialPOCEnumeratorprivate
operator++()PartialPOCEnumerator
originalRulesPartialPOCEnumeratorprivate
PartialPOCEnumerator(graphs::AnonRule_csp rule, graphs::Hypergraph_csp graph, bool inj, shared_ptr< vector< graphs::AnonRule_csp >> orRules)PartialPOCEnumerator
PartialPOCEnumerator(PartialPOCEnumerator &&oldEnum)PartialPOCEnumerator
partialRulePartialPOCEnumeratorprivate
prepEdgeMergings()PartialPOCEnumeratorprivate
reset(graphs::AnonRule_csp rule, graphs::Hypergraph_csp graph, bool inj, shared_ptr< vector< graphs::AnonRule_csp >> orRules)PartialPOCEnumerator
templateGraphPartialPOCEnumeratorprivate
templateMappPartialPOCEnumeratorprivate
totalPOCsPartialPOCEnumeratorprivate
vertexMergingsPartialPOCEnumeratorprivate
~PartialPOCEnumerator()PartialPOCEnumeratorvirtual