Uses of Class
net.automatalib.automaton.vpa.State
-
Packages that use State Package Description net.automatalib.automaton.vpa -
-
Uses of State in net.automatalib.automaton.vpa
Methods in net.automatalib.automaton.vpa that return State Modifier and Type Method Description default State<L>
SEVPA. getInitialState()
@Nullable State<L>
AbstractSEVPA. getTransition(State<L> state, I input)
Methods in net.automatalib.automaton.vpa with parameters of type State Modifier and Type Method Description @Nullable State<L>
AbstractSEVPA. getTransition(State<L> state, I input)
default boolean
SEVPA. isAccepting(State<L> state)
-