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

Class EmbeddingChecker

java.lang.Object

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

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

public class EmbeddingChecker
extends AbstractMatchingChecker

An AbstractMatchingChecker to compute an embedding of a pattern HeapConfiguration in a target HeapConfiguration.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
EmbeddingChecker(HeapConfiguration pattern, HeapConfiguration target) Initializes an EmbeddingChecker.

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

EmbeddingChecker

public EmbeddingChecker(HeapConfiguration pattern,
                        HeapConfiguration target)

Initializes an EmbeddingChecker.

Parameters:

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

target - The HeapConfiguration in which an embedding should be searched for.