Uses of Interface
de.rwth.i2.attestor.programState.indexedState.index.IndexCanonizationStrategy

Packages that use IndexCanonizationStrategy

Package	Description
de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar
de.rwth.i2.attestor.programState.indexedState.index

Uses of IndexCanonizationStrategy in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar

Fields in de.rwth.i2.attestor.grammar.canonicalization.indexedGrammar declared as IndexCanonizationStrategy

Modifier and Type	Field and Description
IndexCanonizationStrategy	IndexedCanonicalizationHelper.indexCanonizationStrategy

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

Constructor and Description
IndexedCanonicalizationHelper(IndexCanonizationStrategy indexCanonicalizer, EmbeddingCheckerProvider checkerProvider, EmbeddingIndexChecker indexChecker)

Uses of IndexCanonizationStrategy in de.rwth.i2.attestor.programState.indexedState.index

Classes in de.rwth.i2.attestor.programState.indexedState.index that implement IndexCanonizationStrategy

Modifier and Type	Class and Description
class	IndexCanonizationStrategyImpl A IndexCanonizationStrategy that uses a fixed right-regular string grammar given by the following rules: X → sX X → Z Y → sY Y → C Furthermore, abstraction is specialized towards features of AVL trees if a HeapConfiguration containsSubsumingState selectors "left" and "right".