Uses of Class
de.rwth.i2.attestor.programState.indexedState.index.AbstractIndexSymbol

Packages that use AbstractIndexSymbol

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.index

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

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

Modifier and Type	Method and Description
Pair<AbstractIndexSymbol,List<IndexSymbol>>	IndexMatcher.getMaterializationRule(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal)

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

Methods in de.rwth.i2.attestor.grammar.materialization.communication that return AbstractIndexSymbol

Modifier and Type	Method and Description
AbstractIndexSymbol	MaterializationAndRuleResponse.getIndexSymbolToMaterialize()

Constructors in de.rwth.i2.attestor.grammar.materialization.communication with parameters of type AbstractIndexSymbol

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

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

Methods in de.rwth.i2.attestor.grammar.materialization.indexedGrammar with parameters of type AbstractIndexSymbol

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

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

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

Modifier and Type	Field and Description
static AbstractIndexSymbol	DefaultIndexMaterialization.SYMBOL_X
static AbstractIndexSymbol	DefaultIndexMaterialization.SYMBOL_Y

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

Modifier and Type	Method and Description
static AbstractIndexSymbol	AbstractIndexSymbol.get(String label)