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

A collection of wrapper classes to compute matchings, such as isomorphisms and embeddings of HeapConfigurations in other Heapconfigurations.

See: Description

Class Summary

Class	Description
AbstractMatchingChecker	A general abstract wrapper to compute a Matching between two HeapConfigurations.
EmbeddingChecker	An AbstractMatchingChecker to compute an embedding of a pattern HeapConfiguration in a target HeapConfiguration.
IsomorphismChecker	An AbstractMatchingChecker to find isomorphisms between two HeapConfigurations.
MinDistanceEmbeddingChecker	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.
PreconditionChecker

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

A collection of wrapper classes to compute matchings, such as isomorphisms and embeddings of HeapConfigurations in other Heapconfigurations.

Author:

Christoph

See Also:

de.rwth.i2.attestor.graph.morphism