Package de.learnlib.algorithms.adt.learner

Class Summary

Class	Description
ADTLearner<I,O>	The main learning algorithm.
ADTLearner.BuilderDefaults
ADTLearnerBuilder<I,O>
ADTLearnerState<S,I,O>	Utility class that captures all essential state of a ADTLearner run.