de.rwth.i2.attestor.programState.indexedState

Interface IndexedNonterminal

All Superinterfaces:

NodeLabel, Nonterminal

All Known Implementing Classes:

IndexedNonterminalImpl

public interface IndexedNonterminal
extends Nonterminal

Method Summary

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

Methods inherited from interface de.rwth.i2.attestor.graph.Nonterminal

getLabel, getRank, isReductionTentacle, setReductionTentacle, unsetReductionTentacle

Methods inherited from interface de.rwth.i2.attestor.graph.digraph.NodeLabel

matches

Method Detail

getIndex

Index getIndex()

getWithShortenedIndex

IndexedNonterminal getWithShortenedIndex()

getWithProlongedIndex

IndexedNonterminal getWithProlongedIndex(IndexSymbol s)

getWithProlongedIndex

IndexedNonterminal getWithProlongedIndex(List<IndexSymbol> postfix)

removes the last symbol (indexVariable () or abstractIndexSymbol) and adds all elements in postfix

Parameters:

postfix - The postfix to prolong the index

Returns:

The nonterminal with prolonged index

getWithIndex

IndexedNonterminal getWithIndex(List<IndexSymbol> index)