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

Class AbstractCompatibleNeighbours

java.lang.Object

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

All Implemented Interfaces:

FeasibilityFunction

Direct Known Subclasses:

CompatiblePredecessors, CompatibleSuccessors

public abstract class AbstractCompatibleNeighbours
extends Object
implements FeasibilityFunction

Constructor Summary

Constructors

Constructor and Description
AbstractCompatibleNeighbours(boolean checkEqualityOnExternal)

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.
protected abstract gnu.trove.list.array.TIntArrayList	getAdjacent(Graph graph, int node)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractCompatibleNeighbours

public AbstractCompatibleNeighbours(boolean checkEqualityOnExternal)

Method Detail

getAdjacent

protected abstract gnu.trove.list.array.TIntArrayList getAdjacent(Graph graph,
                                                                  int node)

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.