Uses of Class
de.learnlib.algorithm.kv.dfa.KearnsVaziraniDFAState
-
Packages that use KearnsVaziraniDFAState Package Description de.learnlib.algorithm.kv.dfa -
-
Uses of KearnsVaziraniDFAState in de.learnlib.algorithm.kv.dfa
Methods in de.learnlib.algorithm.kv.dfa that return KearnsVaziraniDFAState Modifier and Type Method Description KearnsVaziraniDFAState<I>
KearnsVaziraniDFA. suspend()
Methods in de.learnlib.algorithm.kv.dfa with parameters of type KearnsVaziraniDFAState Modifier and Type Method Description void
KearnsVaziraniDFA. resume(KearnsVaziraniDFAState<I> state)
-