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()Methods in net.automatalib.automaton.vpa with parameters of type State Modifier and Type Method Description default booleanSEVPA. isAccepting(State<L> state)
-