Uses of Interface
de.rwth.i2.attestor.graph.morphism.MorphismOptions

Packages that use MorphismOptions

Package	Description
de.rwth.i2.attestor.grammar	This package containsSubsumingState the classes storing the actual grammar-data.
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.graph.morphism.checkers	Specialized wrappers to compute frequently used morphisms such as isomorphisms and embeddings.
de.rwth.i2.attestor.graph.morphism.feasibility	All feasibility functions employed by the Morphism search to detect certain graph Morphisms.
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Uses of MorphismOptions in de.rwth.i2.attestor.grammar

Classes in de.rwth.i2.attestor.grammar that implement MorphismOptions

Modifier and Type	Class and Description
class	AbstractionOptions

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

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

Modifier and Type	Method and Description
CanonicalizationStrategyBuilder	CanonicalizationStrategyBuilder.setOptions(MorphismOptions options)

Constructors in de.rwth.i2.attestor.grammar.canonicalization with parameters of type MorphismOptions

Constructor and Description
EmbeddingCheckerProvider(MorphismOptions morphismOptions) Constructs an EmbeddingCheckerProvider with the given communication

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

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

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 MorphismOptions in de.rwth.i2.attestor.graph.heap.internal

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

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

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

Constructors in de.rwth.i2.attestor.graph.heap.matching with parameters of type MorphismOptions

Constructor and Description
MinDistanceEmbeddingChecker(HeapConfiguration pattern, HeapConfiguration target, MorphismOptions options) Initializes an EmbeddingChecker with a minimal distance between variables and found embeddings.

Uses of MorphismOptions in de.rwth.i2.attestor.graph.morphism.checkers

Constructors in de.rwth.i2.attestor.graph.morphism.checkers with parameters of type MorphismOptions

Constructor and Description
VF2MinDistanceEmbeddingChecker(MorphismOptions options) Initializes this checker for a given minimal distance.

Uses of MorphismOptions in de.rwth.i2.attestor.graph.morphism.feasibility

Constructors in de.rwth.i2.attestor.graph.morphism.feasibility with parameters of type MorphismOptions

Constructor and Description
AdmissibleAbstraction(MorphismOptions options)

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

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

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