UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for OldMinorOrder, including all inherited members.
combinePaths(std::list< std::list< std::set< IDType > > * >::iterator it0, std::list< std::list< std::set< IDType > > * >::iterator end, std::set< IDType > &nodesUsed) const | OldMinorOrder | private |
createCombinations(std::list< PathFinder > &p, std::list< PathFinder >::iterator it, std::list< std::set< IDType > > &result) const | OldMinorOrder | private |
createEdgeTupels(graphs::Hypergraph const &minor, graphs::Hypergraph const &graph, std::map< IDType, IDType > &mappings) const | OldMinorOrder | private |
findPaths(graphs::Hypergraph const &g, std::list< std::set< IDType > > &connV, std::set< IDType > mappedEdges) const | OldMinorOrder | private |
isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const override | OldMinorOrder | virtual |
mapping(graphs::Hypergraph const &minor, graphs::Hypergraph const &graph, std::map< string, vector< IDType > > &occurencesG, vector< pair< IDType, string > > &occurencesM, size_t currentI, std::map< IDType, IDType > &mappings) const | OldMinorOrder | private |
OldMinorOrder() | OldMinorOrder | |
Order() | Order | inlineprotected |
~OldMinorOrder() | OldMinorOrder | virtual |
~Order() | Order | inlinevirtual |