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

Class MinAbstractionDistance

java.lang.Object

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

All Implemented Interfaces:

FeasibilityFunction

public class MinAbstractionDistance
extends Object
implements FeasibilityFunction

Restricts the considered morphisms to ones in which the distance from variables to nodes with outgoing selector edges belonging to a morphism is at least the given minAbstractionDistance. If aggressiveConstantAbstraction is set to true, variables that model constants, such as null, are ignored.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
MinAbstractionDistance(int minAbstractionDistance, boolean aggressiveConstantAbstraction, boolean aggressiveCompositeMarkingAbstraction)

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

MinAbstractionDistance

public MinAbstractionDistance(int minAbstractionDistance,
                              boolean aggressiveConstantAbstraction,
                              boolean aggressiveCompositeMarkingAbstraction)

Parameters:

minAbstractionDistance - The minimal distance of variables to nodes in the morphism.

aggressiveConstantAbstraction - True if and only if the minimal distance should be ignored for variable edges representing constants.

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.