de.rwth.i2.attestor.graph.morphism.checkers

Class VF2MinDistanceEmbeddingChecker

java.lang.Object

de.rwth.i2.attestor.graph.morphism.checkers.AbstractVF2MorphismChecker

de.rwth.i2.attestor.graph.morphism.checkers.VF2MinDistanceEmbeddingChecker

All Implemented Interfaces:

MorphismChecker

public class VF2MinDistanceEmbeddingChecker
extends AbstractVF2MorphismChecker

A specialized MorphismChecker to determine embeddings between a pattern graph into a target graph in which each variable in the target graph has at least a given distance to the embedding.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
VF2MinDistanceEmbeddingChecker(int depth, boolean aggressiveNullAbstractionEnabled, boolean aggressiveCompositeMarkingAbstraction) Initializes this checker for a given minimal distance.

Method Summary

Methods inherited from class de.rwth.i2.attestor.graph.morphism.checkers.AbstractVF2MorphismChecker

getMorphism, hasMorphism, run

Methods inherited from class java.lang.Object

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

Constructor Detail

VF2MinDistanceEmbeddingChecker

public VF2MinDistanceEmbeddingChecker(int depth,
                                      boolean aggressiveNullAbstractionEnabled,
                                      boolean aggressiveCompositeMarkingAbstraction)

Initializes this checker for a given minimal distance.

Parameters:

depth - The minimal distance of all variables to a found embedding.