net.automatalib.automata.vpda

Class State<L>

java.lang.Object

net.automatalib.automata.vpda.State<L>

Type Parameters:

L - type of the object to connect with stack information

public class State<L>
extends Object

Utility class to combine an entity (e.g. a location) with stack information.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
State(L loc, StackContents stack)

Method Summary

Modifier and Type	Method and Description
L	getLocation()
static <L> State<L>	getSink()
StackContents	getStackContents()
boolean	isSink()

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,
             StackContents stack)

Method Detail

getSink

public static <L> State<L> getSink()

getLocation

public L getLocation()

getStackContents

public StackContents getStackContents()

isSink

public boolean isSink()