Uses of Class
net.automatalib.automata.vpda.State

Packages that use State

Package	Description
net.automatalib.automata.vpda

Uses of State in net.automatalib.automata.vpda

Methods in net.automatalib.automata.vpda that return State

Modifier and Type	Method and Description
default State<L>	OneSEVPA.getInitialState()
static <L> State<L>	State.getSink()

Methods in net.automatalib.automata.vpda with parameters of type State

Modifier and Type	Method and Description
default boolean	OneSEVPA.isAccepting(State<L> state)