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

Class MorphismFound

java.lang.Object

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

All Implemented Interfaces:

TerminationFunction

public class MorphismFound
extends Object
implements TerminationFunction

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

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
MorphismFound()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MorphismFound

public MorphismFound()

Method Detail

eval

public boolean eval(VF2State state)

Description copied from interface: TerminationFunction

Checks whether searching for a morphism can be stopped.

Specified by:

eval in interface TerminationFunction

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.