21 #ifndef ALGORITHMS_HYPERGRAPHISOMORPHISM_CHECKER_H
22 #define ALGORITHMS_HYPERGRAPHISOMORPHISM_CHECKER_H
24 #include "Hypergraph.h"
91 map<
PartSig, std::list<IDType> >& sigs1rev,
92 map<IDType, IDType>& mappingsFor,
93 map<IDType, IDType>& mappingsBack,
94 Hypergraph::EMap::const_iterator it,
95 Hypergraph::EMap::const_iterator end);
unsigned int PartSig
PartSig is a Signature of an element of a graph.
Definition: globals.h:99
static bool mapping(Hypergraph const &h0, HGSignature &sigs0, Hypergraph const &h1, HGSignature &sigs1, map< PartSig, std::list< IDType > > &sigs1rev, map< IDType, IDType > &mappingsFor, map< IDType, IDType > &mappingsBack, Hypergraph::EMap::const_iterator it, Hypergraph::EMap::const_iterator end)
Checks all possible mappings for the given parameter and returns true, if one is an isomorphism...
Definition: IsomorphismChecker.cpp:67
static bool areIsomorphic(Hypergraph const &hg1, Hypergraph const &hg2)
Returns true if the two given graphs are isomorphic.
Definition: IsomorphismChecker.cpp:38
A Hypergraph represents a graph with a unique identifier.
Definition: Hypergraph.h:35
virtual ~IsomorphismChecker()
Destroys this IsomorphismChecker.
Definition: IsomorphismChecker.cpp:36
unordered_map< IDType, PartSig > HGSignature
HGSignature represents a Signature calculated from a Hypergraph.
Definition: globals.h:105
static bool insertIfValid(map< IDType, IDType > &forw, map< IDType, IDType > &backw, IDType id0, IDType id1)
Inserts a pair of the given IDs to the given forward and backward maps if the resulting Mapping is st...
Definition: IsomorphismChecker.cpp:195
IsomorphismChecker()
This constructor cannot/should not be called.
Definition: IsomorphismChecker.cpp:34
Checks whether two given Hypergraphs are isomorphic or not.
Definition: IsomorphismChecker.h:37
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53