Uses of Interface
de.rwth.i2.attestor.graph.morphism.TerminationFunction

Packages that use TerminationFunction

Package	Description
de.rwth.i2.attestor.graph.morphism	This package implements algorithms to compute various kinds of graph morphisms.
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.

Uses of TerminationFunction in de.rwth.i2.attestor.graph.morphism

Methods in de.rwth.i2.attestor.graph.morphism with parameters of type TerminationFunction

Modifier and Type	Method and Description
VF2AlgorithmBuilder	VF2AlgorithmBuilder.setMatchingCondition(TerminationFunction condition) Specifies the condition that determines that a suitable matching has been found.

Uses of TerminationFunction in de.rwth.i2.attestor.graph.morphism.terminationFunctions

Classes in de.rwth.i2.attestor.graph.morphism.terminationFunctions that implement TerminationFunction

Modifier and Type	Class and Description
class	IsomorphismFound Determines whether a VF2State corresponds to a graph isomorphism.
class	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.