Uses of Interface
de.rwth.i2.attestor.graph.heap.Matching

Packages that use Matching

Package	Description
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
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 Matching in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Methods in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar with parameters of type Matching

Modifier and Type	Method and Description
IndexEmbeddingResult	EmbeddingIndexChecker.getIndexEmbeddingResult(HeapConfiguration toAbstract, Matching embedding, Nonterminal lhs) Computes the necessary materialization and instantiation to match the nonterminals of the embedding in toAbstract.

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

Methods in de.rwth.i2.attestor.graph.heap with parameters of type Matching

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceMatching(Matching matching, Nonterminal nonterminal) Replaces the graph captured by the provided matching by a fresh nonterminal edge labeled with the provided nonterminal.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceMatchingWithCollapsedExternals(Matching matching, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap) Replaces the graph captured by the provided matching by a fresh nonterminal edge labeled with the provided nonterminal.

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

Classes in de.rwth.i2.attestor.graph.heap.internal that implement Matching

Modifier and Type	Class and Description
class	InternalMatching Implementation of Matching for InternalHeapConfiguration.

Methods in de.rwth.i2.attestor.graph.heap.internal with parameters of type Matching

Modifier and Type	Method and Description
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceMatchingWithCollapsedExternals(Matching matching, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)

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

Methods in de.rwth.i2.attestor.graph.heap.matching that return Matching

Modifier and Type	Method and Description
Matching	AbstractMatchingChecker.getMatching()

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

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair with parameters of type Matching

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatching(Matching matching, Nonterminal nonterminal)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceMatchingWithCollapsedExternals(Matching embedding, Nonterminal nonterminal, gnu.trove.list.array.TIntArrayList externalIndicesMap)