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

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

areIsomorphic(Hypergraph const &hg1, Hypergraph const &hg2)IsomorphismCheckerstatic
insertIfValid(map< IDType, IDType > &forw, map< IDType, IDType > &backw, IDType id0, IDType id1)IsomorphismCheckerprivatestatic
IsomorphismChecker()IsomorphismCheckerprivate
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)IsomorphismCheckerprivatestatic
~IsomorphismChecker()IsomorphismCheckervirtual