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

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

checkContractions(graphs::Hypergraph const &graphB, graphs::Mapping const &nodeMap, graphs::Mapping::Inversion const &invNodeMap, unordered_set< IDType > const &preservedEdges, int isoNodes) const MinorOrderprivate
enoughIsolated(basic_types::IDPartition const &part, graphs::Mapping const &mapp, int num) const MinorOrderinlineprivate
findFirst(vector< size_t > const &vec, size_t tofind) const MinorOrderinlineprivate
generateMapp(graphs::Hypergraph const &graphS, graphs::Hypergraph const &graphB, map< string, vector< IDType >> const &edgeMapS, map< string, vector< IDType >> const &edgeMapB, vector< pair< string, vector< size_t >>> const &edgesToEdges, graphs::Mapping &nodeMap, unordered_set< IDType > &preservedEdges) const MinorOrderprivate
inc(vector< pair< string, vector< size_t >>> &vec, map< string, vector< IDType >> &posTargets) const MinorOrderprivate
inc(vector< size_t > &vec, size_t tarCount) const MinorOrderprivate
inc(vector< basic_types::IDPartitionEnumerator > &enums, size_t pos) const MinorOrderinlineprivate
isFiner(basic_types::IDPartition const &part, graphs::Mapping const &mapp) const MinorOrderinlineprivate
isIncludedIn(basic_types::IDPartition const &part, graphs::Mapping::Inversion const &mapp) const MinorOrderinlineprivate
isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const overrideMinorOrdervirtual
MinorOrder()MinorOrder
Order()Orderinlineprotected
reset(vector< size_t > &vec, size_t numCount) const MinorOrderinlineprivate
~MinorOrder()MinorOrdervirtual
~Order()Orderinlinevirtual