Uses of Class
de.learnlib.algorithms.adt.learner.ADTLearnerState

Packages that use ADTLearnerState

Package	Description
de.learnlib.algorithms.adt.learner

Uses of ADTLearnerState in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner that return ADTLearnerState

Modifier and Type	Method and Description
ADTLearnerState<ADTState<I,O>,I,O>	ADTLearner.suspend()

Methods in de.learnlib.algorithms.adt.learner with parameters of type ADTLearnerState

Modifier and Type	Method and Description
void	ADTLearner.resume(ADTLearnerState<ADTState<I,O>,I,O> state)