de.rwth.i2.attestor.refinement

Interface RefinedNonterminal

All Superinterfaces:

NodeLabel, Nonterminal

All Known Implementing Classes:

RefinedDefaultNonterminal

public interface RefinedNonterminal
extends Nonterminal

A symbol that is annotated with a heap automaton state.

Author:

Christoph

Method Summary

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

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

getState

HeapAutomatonState getState()

Returns:

The heap automaton state the symbol is annotated with.

withState

RefinedNonterminal withState(HeapAutomatonState state)

Provides the same symbol with the provided annotation.

Parameters:

state - The new annotation.

Returns:

An annotated symbol with the provided state. The symbol itself is the same as this object.