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(MorphismOptions options) 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(MorphismOptions options)

Initializes this checker for a given minimal distance.

Parameters:

options - Options guiding how embeddings are computed