UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for IsomorphismChecker, including all inherited members.
areIsomorphic(Hypergraph const &hg1, Hypergraph const &hg2) | IsomorphismChecker | static |
insertIfValid(map< IDType, IDType > &forw, map< IDType, IDType > &backw, IDType id0, IDType id1) | IsomorphismChecker | privatestatic |
IsomorphismChecker() | IsomorphismChecker | private |
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) | IsomorphismChecker | privatestatic |
~IsomorphismChecker() | IsomorphismChecker | virtual |