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

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 &currentMapping, shared_ptr< vector< graphs::Mapping >> allMappings) const StdMatchFinderprotected
enumAllIsoNodesNonInj(vector< IDType > &isolatedNodes, vector< IDType > &targets, graphs::Mapping &currentMapping, shared_ptr< vector< graphs::Mapping >> allMappings) const StdMatchFinderprotected
findMatches(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target) const StdMatchFinder
getNewEntryPoint(graphs::AnonHypergraph const &source, graphs::Mapping const &currentMapping) const StdMatchFinderprotected
isMapPossible(graphs::AnonHypergraph const &source, IDType srcEdge, graphs::AnonHypergraph const &target, IDType tarEdge, graphs::Mapping &currentMapping, graphs::Mapping &revCurrentMapping) const StdMatchFinderprotected
mapEdges(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target, size_t edgesToGo, unordered_set< IDType > &mappableEdges, graphs::Mapping &currentMapping, graphs::Mapping &revCurrentMapping, shared_ptr< vector< graphs::Mapping >> foundMappings) const StdMatchFinderprotected
mapIsolatedNodes(graphs::AnonHypergraph const &source, graphs::AnonHypergraph const &target, shared_ptr< vector< graphs::Mapping >> foundMappings) const StdMatchFinderprotected
matchesInjectively() const StdMatchFinder
matchInjectiveStdMatchFinderprivate
setInjectivity(bool injective)StdMatchFinder
setStopOnFirstFind(bool stopFast)StdMatchFinder
StdMatchFinder(bool injective=false, bool stopFast=false)StdMatchFinder
stopOnFirstFindStdMatchFinderprivate
stopsOnFirstFind() const StdMatchFinder
~StdMatchFinder()StdMatchFindervirtual