Uses of Class
de.learnlib.algorithms.kv.dfa.KearnsVaziraniDFAState

Packages that use KearnsVaziraniDFAState

Package	Description
de.learnlib.algorithms.kv.dfa

Uses of KearnsVaziraniDFAState in de.learnlib.algorithms.kv.dfa

Methods in de.learnlib.algorithms.kv.dfa that return KearnsVaziraniDFAState

Modifier and Type	Method and Description
KearnsVaziraniDFAState<I>	KearnsVaziraniDFA.suspend()

Methods in de.learnlib.algorithms.kv.dfa with parameters of type KearnsVaziraniDFAState

Modifier and Type	Method and Description
void	KearnsVaziraniDFA.resume(KearnsVaziraniDFAState<I> state)