de.rwth.i2.attestor.graph.morphism.feasibility

Class CompatibleExternalNodes

java.lang.Object

de.rwth.i2.attestor.graph.morphism.feasibility.CompatibleExternalNodes

All Implemented Interfaces:

FeasibilityFunction

public class CompatibleExternalNodes
extends Object
implements FeasibilityFunction

Checks whether the nodes in the provided candidate pair either correspond to the same position in the respective sequence of external nodes or are both not external at all.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
CompatibleExternalNodes()

Method Summary

Modifier and Type	Method and Description
boolean	eval(VF2State state, int p, int t) Evaluates whether extending the given state by a candidate pair results in a partial mapping between pattern and target Graph might still lead to a valid Morphism.

Methods inherited from class java.lang.Object

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

Constructor Detail

CompatibleExternalNodes

public CompatibleExternalNodes()

Method Detail

eval

public boolean eval(VF2State state,
                    int p,
                    int t)

Description copied from interface: FeasibilityFunction

Evaluates whether extending the given state by a candidate pair results in a partial mapping between pattern and target Graph might still lead to a valid Morphism.

Specified by:

eval in interface FeasibilityFunction

Parameters:

state - The current VF2State determining the partial Morphism computed so far.

p - The new pattern candidate node that should be added to the morphism.

t - The new target candidate node that should be added to the morphism.

Returns:

True if and only if adding the candidate pair to the current state of the morphism might still lead to a valid Morphism.