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

Packages that use IndexSymbol

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

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

Methods in de.rwth.i2.attestor.grammar that return types with arguments of type IndexSymbol

Modifier and Type	Method and Description
Pair<AbstractIndexSymbol,List<IndexSymbol>>	IndexMatcher.getMaterializationRule(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal)
List<IndexSymbol>	IndexMatcher.getNecessaryInstantiation(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) The sequence of symbols with which to replace the index variable at the end of the index of the instantiableNonterminal in order to achieve equal indices

Uses of IndexSymbol in de.rwth.i2.attestor.grammar.materialization.communication

Methods in de.rwth.i2.attestor.grammar.materialization.communication that return types with arguments of type IndexSymbol

Modifier and Type	Method and Description
Set<List<IndexSymbol>>	MaterializationAndRuleResponse.getPossibleMaterializations()

Method parameters in de.rwth.i2.attestor.grammar.materialization.communication with type arguments of type IndexSymbol

Modifier and Type	Method and Description
Collection<HeapConfiguration>	MaterializationAndRuleResponse.getRulesForMaterialization(List<IndexSymbol> materialization)

Constructor parameters in de.rwth.i2.attestor.grammar.materialization.communication with type arguments of type IndexSymbol

Constructor and Description
MaterializationAndRuleResponse(Map<List<IndexSymbol>,Collection<HeapConfiguration>> rules, AbstractIndexSymbol indexSymbolToMaterialize)

Uses of IndexSymbol in de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Method parameters in de.rwth.i2.attestor.grammar.materialization.indexedGrammar with type arguments of type IndexSymbol

Modifier and Type	Method and Description
HeapConfiguration	IndexMaterializationStrategy.getMaterializedCloneWith(HeapConfiguration inputGraph, AbstractIndexSymbol symbolToMaterialize, List<IndexSymbol> inputMaterializationPostfix) Applies the given materialization ( e.g.

Uses of IndexSymbol in de.rwth.i2.attestor.programState.indexedState

Methods in de.rwth.i2.attestor.programState.indexedState with parameters of type IndexSymbol

Modifier and Type	Method and Description
IndexedNonterminal	IndexedNonterminal.getWithProlongedIndex(IndexSymbol s)
IndexedNonterminal	IndexedNonterminalImpl.getWithProlongedIndex(IndexSymbol s)

Method parameters in de.rwth.i2.attestor.programState.indexedState with type arguments of type IndexSymbol

Modifier and Type	Method and Description
IndexedNonterminal	IndexedNonterminal.getWithIndex(List<IndexSymbol> index)
IndexedNonterminal	IndexedNonterminalImpl.getWithIndex(List<IndexSymbol> index)
IndexedNonterminal	IndexedNonterminal.getWithProlongedIndex(List<IndexSymbol> postfix) removes the last symbol (indexVariable () or abstractIndexSymbol) and adds all elements in postfix
IndexedNonterminal	IndexedNonterminalImpl.getWithProlongedIndex(List<IndexSymbol> postfix)

Constructor parameters in de.rwth.i2.attestor.programState.indexedState with type arguments of type IndexSymbol

Constructor and Description
IndexedNonterminalImpl(Nonterminal basicNonterminal, List<IndexSymbol> index)

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

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

Modifier and Type	Class and Description
class	AbstractIndexSymbol
class	ConcreteIndexSymbol
class	IndexVariable

Fields in de.rwth.i2.attestor.programState.indexedState.index declared as IndexSymbol

Modifier and Type	Field and Description
static IndexSymbol	DefaultIndexMaterialization.SYMBOL_C
static IndexSymbol	DefaultIndexMaterialization.SYMBOL_s
static IndexSymbol	DefaultIndexMaterialization.SYMBOL_Z

Methods in de.rwth.i2.attestor.programState.indexedState.index that return IndexSymbol

Modifier and Type	Method and Description
IndexSymbol	Index.get(int pos)
IndexSymbol	Index.getLastIndexSymbol()

Methods in de.rwth.i2.attestor.programState.indexedState.index that return types with arguments of type IndexSymbol

Modifier and Type	Method and Description
List<IndexSymbol>	IndexMaterializationStrategy.getRuleCreatingSymbolFor(IndexSymbol s1, IndexSymbol s2)
List<IndexSymbol>	DefaultIndexMaterialization.getRuleCreatingSymbolFor(IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)

Methods in de.rwth.i2.attestor.programState.indexedState.index with parameters of type IndexSymbol

Modifier and Type	Method and Description
boolean	IndexMaterializationStrategy.canCreateSymbolFor(IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
boolean	DefaultIndexMaterialization.canCreateSymbolFor(IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
boolean	Index.endsWith(IndexSymbol symbol)
List<IndexSymbol>	IndexMaterializationStrategy.getRuleCreatingSymbolFor(IndexSymbol s1, IndexSymbol s2)
List<IndexSymbol>	DefaultIndexMaterialization.getRuleCreatingSymbolFor(IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
Index	Index.getWithProlongedIndex(IndexSymbol s)
IndexedNonterminal	IndexMaterializationStrategy.materializeIndex(IndexedNonterminal nt, IndexSymbol s)
IndexedNonterminal	DefaultIndexMaterialization.materializeIndex(IndexedNonterminal nt, IndexSymbol s)
void	IndexMaterializationStrategy.materializeIndices(HeapConfiguration heapConfiguration, IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)
void	DefaultIndexMaterialization.materializeIndices(HeapConfiguration heapConfiguration, IndexSymbol originalIndexSymbol, IndexSymbol desiredIndexSymbol)

Method parameters in de.rwth.i2.attestor.programState.indexedState.index with type arguments of type IndexSymbol

Modifier and Type	Method and Description
Index	Index.getWithProlongedIndex(List<IndexSymbol> postfix)
boolean	Index.startsWith(Iterable<IndexSymbol> prefix)

Constructor parameters in de.rwth.i2.attestor.programState.indexedState.index with type arguments of type IndexSymbol

Constructor and Description
Index(List<IndexSymbol> indexSymbols)