UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for StdMatchFinder, including all inherited members.
enumAllIsoNodesInj(vector< IDType > &isolatedNodes, size_t isolatedNodesPos, vector< IDType > &targets, unordered_set< IDType > &noTargets, graphs::Mapping ¤tMapping, shared_ptr< vector< graphs::Mapping >> allMappings) const | StdMatchFinder | protected |
enumAllIsoNodesNonInj(vector< IDType > &isolatedNodes, vector< IDType > &targets, graphs::Mapping ¤tMapping, shared_ptr< vector< graphs::Mapping >> allMappings) const | StdMatchFinder | protected |
findMatches(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target) const | StdMatchFinder | |
getNewEntryPoint(graphs::AnonHypergraph const &source, graphs::Mapping const ¤tMapping) const | StdMatchFinder | protected |
isMapPossible(graphs::AnonHypergraph const &source, IDType srcEdge, graphs::AnonHypergraph const &target, IDType tarEdge, graphs::Mapping ¤tMapping, graphs::Mapping &revCurrentMapping) const | StdMatchFinder | protected |
mapEdges(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target, size_t edgesToGo, unordered_set< IDType > &mappableEdges, graphs::Mapping ¤tMapping, graphs::Mapping &revCurrentMapping, shared_ptr< vector< graphs::Mapping >> foundMappings) const | StdMatchFinder | protected |
mapIsolatedNodes(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target, shared_ptr< vector< graphs::Mapping >> foundMappings) const | StdMatchFinder | protected |
matchesInjectively() const | StdMatchFinder | |
matchInjective | StdMatchFinder | private |
setInjectivity(bool injective) | StdMatchFinder | |
setStopOnFirstFind(bool stopFast) | StdMatchFinder | |
StdMatchFinder(bool injective=false, bool stopFast=false) | StdMatchFinder | |
stopOnFirstFind | StdMatchFinder | private |
stopsOnFirstFind() const | StdMatchFinder | |
~StdMatchFinder() | StdMatchFinder | virtual |