de.rwth.i2.attestor.graph.morphism

Interface TerminationFunction

All Known Implementing Classes:

IsomorphismFound, MorphismFound

public interface TerminationFunction

A TerminationFunction determines whether the search for a graph Morphism has to be stopped. Such functions may, for example, indicate that a morphism has been found or that it is impossible to find another graph morphism starting in the current state.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
boolean	eval(VF2State state) Checks whether searching for a morphism can be stopped.

Method Detail

eval

boolean eval(VF2State state)

Checks whether searching for a morphism can be stopped.

Parameters:

state - The current state of the morphism constructed so far.

Returns:

True if and only if the search for a morphism should be terminated.