State (AutomataLib 0.11.0 API)

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()
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

State

public State(L loc,
             @Nullable StackContents stack)

Method Detail

getLocation
```
public L getLocation()
```

getStackContents

public @Nullable StackContents getStackContents()