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

Class PreconditionChecker

java.lang.Object

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

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

public class PreconditionChecker
extends AbstractMatchingChecker

Constructor Summary

Constructors

Constructor and Description
PreconditionChecker(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

PreconditionChecker

public PreconditionChecker(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.