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

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

chooseNextMatch()TotalPOCEnumeratorprivate
computePOC()TotalPOCEnumeratorprivate
computePOCInj()TotalPOCEnumeratorprivate
computePOCInjRule()TotalPOCEnumeratorprivate
currGraphTotalPOCEnumeratorprivate
currMappTotalPOCEnumeratorprivate
deleteTemporaryFields()TotalPOCEnumeratorprivate
edgeEnumsTotalPOCEnumeratorprivate
ended() const TotalPOCEnumerator
generateNonMergedPOC()TotalPOCEnumeratorprivate
getCurrentCoMatch() const TotalPOCEnumerator
getGraph() const TotalPOCEnumerator
getMapping() const TotalPOCEnumerator
graphTotalPOCEnumeratorprivate
incEnums(vector< IDClosureEnumerator > &enums)TotalPOCEnumeratorprivate
incEnums(vector< IDtoIDEnumerator > &enums)TotalPOCEnumeratorprivate
initEdgeTemplates()TotalPOCEnumeratorprivate
initTemplatesInj()TotalPOCEnumeratorprivate
initVertexTemplates()TotalPOCEnumeratorprivate
injectiveTotalPOCEnumeratorprivate
injectiveRuleTotalPOCEnumeratorprivate
mappPOCtoGraphTotalPOCEnumeratorprivate
matcherTotalPOCEnumeratorprivate
matchListTotalPOCEnumeratorprivate
operator++()TotalPOCEnumerator
reset()TotalPOCEnumerator
ruleTotalPOCEnumeratorprivate
templateGraphMETotalPOCEnumeratorprivate
templateGraphOrTotalPOCEnumeratorprivate
templateMappMETotalPOCEnumeratorprivate
templateMappOrTotalPOCEnumeratorprivate
TotalPOCEnumerator(graphs::AnonRule_csp rule, graphs::Hypergraph_csp graph, bool injective)TotalPOCEnumerator
TotalPOCEnumerator(TotalPOCEnumerator &&oldEnum)TotalPOCEnumerator
vertexEnumsTotalPOCEnumeratorprivate
vertexEnumsInjTotalPOCEnumeratorprivate
~TotalPOCEnumerator()TotalPOCEnumeratorvirtual