Package net.automatalib.automaton.vpa
Class State<L>
- java.lang.Object
-
- net.automatalib.automaton.vpa.State<L>
-
- Type Parameters:
L
- type of the object to connect with stack information
public final class State<L> extends Object
Utility class to combine an entity (e.g. a location) with stack information.
-
-
Constructor Summary
Constructors Constructor Description State(L loc, @Nullable StackContents stack)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description L
getLocation()
@Nullable StackContents
getStackContents()
-
-
-
Constructor Detail
-
State
public State(L loc, @Nullable StackContents stack)
-
-
Method Detail
-
getLocation
public L getLocation()
-
getStackContents
public @Nullable StackContents getStackContents()
-
-