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

Packages that use IndexMaterializationStrategy

Package	Description
de.rwth.i2.attestor.grammar	This package containsSubsumingState the classes storing the actual grammar-data.
de.rwth.i2.attestor.programState.indexedState.index

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

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

Constructor and Description
IndexMatcher(IndexMaterializationStrategy indexGrammar)

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

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

Modifier and Type	Class and Description
class	DefaultIndexMaterialization A IndexMaterializationStrategy that uses a fixed right-regular string grammar given by the following rules: X → sX X → Z Y → sY Y → C