UnCoVer (Using Coverability for Verification)
|
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 | MinorOrder | private |
enoughIsolated(basic_types::IDPartition const &part, graphs::Mapping const &mapp, int num) const | MinorOrder | inlineprivate |
findFirst(vector< size_t > const &vec, size_t tofind) const | MinorOrder | inlineprivate |
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 | MinorOrder | private |
inc(vector< pair< string, vector< size_t >>> &vec, map< string, vector< IDType >> &posTargets) const | MinorOrder | private |
inc(vector< size_t > &vec, size_t tarCount) const | MinorOrder | private |
inc(vector< basic_types::IDPartitionEnumerator > &enums, size_t pos) const | MinorOrder | inlineprivate |
isFiner(basic_types::IDPartition const &part, graphs::Mapping const &mapp) const | MinorOrder | inlineprivate |
isIncludedIn(basic_types::IDPartition const &part, graphs::Mapping::Inversion const &mapp) const | MinorOrder | inlineprivate |
isLessOrEq(graphs::Hypergraph const &smaller, graphs::Hypergraph const &bigger) const override | MinorOrder | virtual |
MinorOrder() | MinorOrder | |
Order() | Order | inlineprotected |
reset(vector< size_t > &vec, size_t numCount) const | MinorOrder | inlineprivate |
~MinorOrder() | MinorOrder | virtual |
~Order() | Order | inlinevirtual |