Package net.automatalib.automaton.vpa
Class StackContents
- java.lang.Object
-
- net.automatalib.automaton.vpa.StackContents
-
public class StackContents extends Object
A simplified stack implementation that allows to store integer values.
-
-
Constructor Summary
Constructors Constructor Description StackContents(int topElem)
StackContents(int topElem, @Nullable StackContents rest)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description int
peek()
@Nullable StackContents
pop()
StackContents
push(int elem)
static StackContents
push(int elem, @Nullable StackContents rest)
-
-
-
Constructor Detail
-
StackContents
public StackContents(int topElem)
-
StackContents
public StackContents(int topElem, @Nullable StackContents rest)
-
-
Method Detail
-
peek
public int peek()
-
pop
public @Nullable StackContents pop()
-
push
public StackContents push(int elem)
-
push
public static StackContents push(int elem, @Nullable StackContents rest)
-
-