Uses of Interface
de.rwth.i2.attestor.programState.indexedState.IndexedNonterminal

Packages that use IndexedNonterminal

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

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

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

Modifier and Type	Method and Description
boolean	IndexMatcher.canMatch(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether there is a materialization and an instantiation such that the indices of the given nonterminals are equal.
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
boolean	IndexMatcher.needsInstantiation(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether the materializableNonterminal has to be instantiated to achieve equal indices (can be false for concrete indices)
boolean	IndexMatcher.needsMaterialization(IndexedNonterminal materializableNonterminal, IndexedNonterminal instantiableNonterminal) Determines whether the materializableNonterminal has to be materialized to achieve equal indices

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

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

Modifier and Type	Method and Description
GrammarResponse	IndexedRuleAdapter.computeMaterializationsAndRules(IndexedNonterminal toReplace, Map<Nonterminal,Collection<HeapConfiguration>> rulesResolvingViolationPoint) For each lhs in the suggested rules, determines whether it can match the nonterminal and adds the necessary materialization and instantiated rules in this case.

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

Classes in de.rwth.i2.attestor.programState.indexedState that implement IndexedNonterminal

Modifier and Type	Class and Description
class	IndexedNonterminalImpl

Methods in de.rwth.i2.attestor.programState.indexedState that return IndexedNonterminal

Modifier and Type	Method and Description
IndexedNonterminal	IndexedNonterminal.getWithIndex(List<IndexSymbol> index)
IndexedNonterminal	IndexedNonterminalImpl.getWithIndex(List<IndexSymbol> index)
IndexedNonterminal	IndexedNonterminal.getWithProlongedIndex(IndexSymbol s)
IndexedNonterminal	IndexedNonterminalImpl.getWithProlongedIndex(IndexSymbol s)
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)
IndexedNonterminal	IndexedNonterminal.getWithShortenedIndex()
IndexedNonterminal	IndexedNonterminalImpl.getWithShortenedIndex()

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

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

Modifier and Type	Method and Description
IndexedNonterminal	IndexMaterializationStrategy.materializeIndex(IndexedNonterminal nt, IndexSymbol s)
IndexedNonterminal	DefaultIndexMaterialization.materializeIndex(IndexedNonterminal nt, IndexSymbol s)

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

Modifier and Type	Method and Description
IndexedNonterminal	IndexMaterializationStrategy.materializeIndex(IndexedNonterminal nt, IndexSymbol s)
IndexedNonterminal	DefaultIndexMaterialization.materializeIndex(IndexedNonterminal nt, IndexSymbol s)