Package de.rwth.i2.attestor.graph.morphism.terminationFunctions

Functions determining whether a suitable Morphism has been found or is impossible to find starting in the current state.

See: Description

Class Summary

Class	Description
IsomorphismFound	Determines whether a VF2State corresponds to a graph isomorphism.
MorphismFound	Determines whether a given VF2State corresponds to a complete graph morphism and thus no further steps have to be executed to find a morphism.

Package de.rwth.i2.attestor.graph.morphism.terminationFunctions Description

Functions determining whether a suitable Morphism has been found or is impossible to find starting in the current state.

Author:

Christoph