Package | Description |
---|---|
net.automatalib.automata.vpda |
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) |
Modifier and Type | Method and Description |
---|---|
static StackContents |
StackContents.push(int elem,
StackContents rest) |
Constructor and Description |
---|
StackContents(int topElem,
StackContents rest) |
State(L loc,
StackContents stack) |
Copyright © 2019. All rights reserved.