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

Class IsomorphismFound

java.lang.Object

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

All Implemented Interfaces:

TerminationFunction

public class IsomorphismFound
extends Object
implements TerminationFunction

Determines whether a VF2State corresponds to a graph isomorphism.

Note that this function does not check whether a state really is a graph isomorphism. Instead it merely checks whether an algorithm to determine a graph isomorphism may stop its execution, because it already found an isomorphism.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
IsomorphismFound()

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

IsomorphismFound

public IsomorphismFound()

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.