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

Class IsomorphismChecker

java.lang.Object

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

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

public class IsomorphismChecker
extends AbstractMatchingChecker

An AbstractMatchingChecker to find isomorphisms between two HeapConfigurations.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
IsomorphismChecker(HeapConfiguration pattern, HeapConfiguration target) Initializes this Wrapper to search for isomorphisms between HeapConfiguration.

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

IsomorphismChecker

public IsomorphismChecker(HeapConfiguration pattern,
                          HeapConfiguration target)

Initializes this Wrapper to search for isomorphisms between HeapConfiguration.

Parameters:

pattern - A HeapConfiguration that should be checked whether it is isomorphic to target.

target - A HeapConfiguration that should be checked whether it is isomorphic to pattern.