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

Packages that use de.rwth.i2.attestor.graph.heap.matching

Package	Description
de.rwth.i2.attestor.grammar.canonicalization	This package containsSubsumingState all necessary classes to perform canonicalization.
de.rwth.i2.attestor.graph.heap	All abstractions needed to work with HeapConfigurations.
de.rwth.i2.attestor.graph.heap.internal	All the messy details to implement a HeapConfiguration as a bipartite directed labeled graph.
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.
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Classes in de.rwth.i2.attestor.graph.heap.matching used by de.rwth.i2.attestor.grammar.canonicalization

Class and Description
AbstractMatchingChecker A general abstract wrapper to compute a Matching between two HeapConfigurations.

Classes in de.rwth.i2.attestor.graph.heap.matching used by de.rwth.i2.attestor.graph.heap

Class and Description
AbstractMatchingChecker A general abstract wrapper to compute a Matching between two HeapConfigurations.

Classes in de.rwth.i2.attestor.graph.heap.matching used by de.rwth.i2.attestor.graph.heap.internal

Class and Description
AbstractMatchingChecker A general abstract wrapper to compute a Matching between two HeapConfigurations.

Classes in de.rwth.i2.attestor.graph.heap.matching used by de.rwth.i2.attestor.graph.heap.matching

Class and Description
AbstractMatchingChecker A general abstract wrapper to compute a Matching between two HeapConfigurations.

Classes in de.rwth.i2.attestor.graph.heap.matching used by de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Class and Description
AbstractMatchingChecker A general abstract wrapper to compute a Matching between two HeapConfigurations.