Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.learner

Class Summary

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