Package | Description |
---|---|
net.automatalib.automata.vpda |
Modifier and Type | Method and Description |
---|---|
default State<L> |
OneSEVPA.getInitialState() |
static <L> State<L> |
State.getSink() |
State<L> |
AbstractOneSEVPA.getTransition(State<L> state,
I input) |
Modifier and Type | Method and Description |
---|---|
State<L> |
AbstractOneSEVPA.getTransition(State<L> state,
I input) |
default boolean |
OneSEVPA.isAccepting(State<L> state) |
Copyright © 2019. All rights reserved.