Uses of Class
net.automatalib.automata.vpda.StackContents

Packages that use StackContents

Package	Description
net.automatalib.automata.vpda

Uses of StackContents in net.automatalib.automata.vpda

Methods in net.automatalib.automata.vpda that return StackContents

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

Methods in net.automatalib.automata.vpda with parameters of type StackContents

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

Constructors in net.automatalib.automata.vpda with parameters of type StackContents

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