Uses of Class
net.automatalib.automaton.vpa.StackContents

Packages that use StackContents

Package	Description
net.automatalib.automaton.vpa

Uses of StackContents in net.automatalib.automaton.vpa

Methods in net.automatalib.automaton.vpa that return StackContents

Modifier and Type	Method	Description
@Nullable StackContents	State.getStackContents()
@Nullable StackContents	StackContents.pop()
StackContents	StackContents.push(int elem)
static StackContents	StackContents.push(int elem, @Nullable StackContents rest)

Methods in net.automatalib.automaton.vpa with parameters of type StackContents

Modifier and Type	Method	Description
static StackContents	StackContents.push(int elem, @Nullable StackContents rest)

Constructors in net.automatalib.automaton.vpa with parameters of type StackContents

Constructor	Description
StackContents(int topElem, @Nullable StackContents rest)
State(L loc, @Nullable StackContents stack)