Uses of Class
de.rwth.i2.attestor.graph.heap.matching.AbstractMatchingChecker

Packages that use AbstractMatchingChecker

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

Uses of AbstractMatchingChecker in de.rwth.i2.attestor.grammar.canonicalization

Methods in de.rwth.i2.attestor.grammar.canonicalization that return AbstractMatchingChecker

Modifier and Type	Method and Description
AbstractMatchingChecker	EmbeddingCheckerProvider.getEmbeddingChecker(HeapConfiguration graph, HeapConfiguration pattern) For the given target and pattern, gets the correct EmbeddingCheckerType for the stored communication and the given semantics

Uses of AbstractMatchingChecker in de.rwth.i2.attestor.graph.heap

Methods in de.rwth.i2.attestor.graph.heap that return AbstractMatchingChecker

Modifier and Type	Method and Description
AbstractMatchingChecker	HeapConfiguration.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions options) Returns an AbstractMatchingChecker to search for all occurrences of the given pattern HeapConfiguration in this HeapConfiguration (the target).

Uses of AbstractMatchingChecker in de.rwth.i2.attestor.graph.heap.internal

Methods in de.rwth.i2.attestor.graph.heap.internal that return AbstractMatchingChecker

Modifier and Type	Method and Description
AbstractMatchingChecker	InternalHeapConfiguration.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions morphismOptions)

Uses of AbstractMatchingChecker in de.rwth.i2.attestor.graph.heap.matching

Subclasses of AbstractMatchingChecker in de.rwth.i2.attestor.graph.heap.matching

Modifier and Type	Class and Description
class	EmbeddingChecker An AbstractMatchingChecker to compute an embedding of a pattern HeapConfiguration in a target HeapConfiguration.
class	IsomorphismChecker An AbstractMatchingChecker to find isomorphisms between two HeapConfigurations.
class	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.
class	PreconditionChecker

Uses of AbstractMatchingChecker in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair that return AbstractMatchingChecker

Modifier and Type	Method and Description
AbstractMatchingChecker	HeapConfigurationPair.getEmbeddingsOf(HeapConfiguration pattern, MorphismOptions options)