Uses of Interface
de.rwth.i2.attestor.refinement.RefinedNonterminal

Packages that use RefinedNonterminal

Package	Description
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.refinement

Uses of RefinedNonterminal in de.rwth.i2.attestor.programState.defaultState

Classes in de.rwth.i2.attestor.programState.defaultState that implement RefinedNonterminal

Modifier and Type	Class and Description
class	RefinedDefaultNonterminal A nonterminal symbol that is additionally annotated with a state of a heap automaton.

Methods in de.rwth.i2.attestor.programState.defaultState that return RefinedNonterminal

Modifier and Type	Method and Description
RefinedNonterminal	RefinedDefaultNonterminal.withState(HeapAutomatonState state)

Uses of RefinedNonterminal in de.rwth.i2.attestor.refinement

Methods in de.rwth.i2.attestor.refinement that return RefinedNonterminal

Modifier and Type	Method and Description
RefinedNonterminal	RefinedNonterminal.withState(HeapAutomatonState state) Provides the same symbol with the provided annotation.