de.rwth.i2.attestor.graph.heap.matching

Class MinDistanceEmbeddingChecker

java.lang.Object

de.rwth.i2.attestor.graph.heap.matching.AbstractMatchingChecker

de.rwth.i2.attestor.graph.heap.matching.MinDistanceEmbeddingChecker

public class MinDistanceEmbeddingChecker
extends AbstractMatchingChecker

An AbstractMatchingChecker that computes an embedding of a pattern HeapConfiguration in a target HeapConfiguration with one additional constraint: Each variable hyperedge must have at least a predefined distance to all elements in an embedding. This is a relaxed version of embeddings between HeapConfigurations that allows for less aggressive abstractions.

Author:

Christoph

See Also:

EmbeddingChecker

Constructor Summary

Constructors

Constructor and Description
MinDistanceEmbeddingChecker(HeapConfiguration pattern, HeapConfiguration target, int depth, boolean aggressiveNullAbstractionEnabled, boolean aggressiveCompositeMarkingAbstraction) Initializes an EmbeddingChecker with a minimal distance between variables and found embeddings.

Method Summary

Methods inherited from class de.rwth.i2.attestor.graph.heap.matching.AbstractMatchingChecker

getMatching, getPattern, getTarget, hasMatching

Methods inherited from class java.lang.Object

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

Constructor Detail

MinDistanceEmbeddingChecker

public MinDistanceEmbeddingChecker(HeapConfiguration pattern,
                                   HeapConfiguration target,
                                   int depth,
                                   boolean aggressiveNullAbstractionEnabled,
                                   boolean aggressiveCompositeMarkingAbstraction)

Initializes an EmbeddingChecker with a minimal distance between variables and found embeddings.

Parameters:

pattern - The HeapConfiguration that should be embedded in the pattern HeapConfiguration.

target - The HeapConfiguration in which embeddings should be searched for.

depth - The minimal distance between an element of a found embedding and a variable in the pattern HeapConfiguration.

aggressiveNullAbstractionEnabled - True if aggressive null abstraction is enabled.