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

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 OldMinorOrderprivate
createCombinations(std::list< PathFinder > &p, std::list< PathFinder >::iterator it, std::list< std::set< IDType > > &result) const OldMinorOrderprivate
createEdgeTupels(graphs::Hypergraph const &minor, graphs::Hypergraph const &graph, std::map< IDType, IDType > &mappings) const OldMinorOrderprivate
findPaths(graphs::Hypergraph const &g, std::list< std::set< IDType > > &connV, std::set< IDType > mappedEdges) const OldMinorOrderprivate
isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const overrideOldMinorOrdervirtual
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 OldMinorOrderprivate
OldMinorOrder()OldMinorOrder
Order()Orderinlineprotected
~OldMinorOrder()OldMinorOrdervirtual
~Order()Orderinlinevirtual