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

Class AbstractMatchingChecker

java.lang.Object

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

Direct Known Subclasses:

EmbeddingChecker, IsomorphismChecker, MinDistanceEmbeddingChecker, PreconditionChecker

public abstract class AbstractMatchingChecker
extends Object

A general abstract wrapper to compute a Matching between two HeapConfigurations. The exact matching to be computed has to be determined by subclasses.

Author:

Christoph

See Also:

MorphismChecker

Method Summary

Modifier and Type	Method and Description
Matching	getMatching()
HeapConfiguration	getPattern()
HeapConfiguration	getTarget()
boolean	hasMatching()

Methods inherited from class java.lang.Object

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

Method Detail

getPattern

public HeapConfiguration getPattern()

Returns:

The pattern HeapConfiguration.

getTarget

public HeapConfiguration getTarget()

Returns:

The target HeapConfiguration.

hasMatching

public boolean hasMatching()

Returns:

True if and only if at least one matching has been found in total.

getMatching

public Matching getMatching()

Returns:

The matching that has been found or null if no matching has been found