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)
-