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

Class AdmissibleAbstraction

java.lang.Object

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

All Implemented Interfaces:

FeasibilityFunction

public class AdmissibleAbstraction
extends Object
implements FeasibilityFunction

Restricts the considered morphisms to ones in which the distance from variables does not prevent admissibility. If ignoreConstants is set to true, variables that model constants, such as null, are ignored.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
AdmissibleAbstraction(MorphismOptions options)

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

AdmissibleAbstraction

public AdmissibleAbstraction(MorphismOptions options)

Parameters:

options - A collection of options guiding how morphisms are computed.

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.