Module de.learnlib.algorithm.nlstar

Package de.learnlib.algorithm.nlstar

Class Summary

Class	Description
Inconsistency<I>	An (RFSA) inconsistency in an ObservationTable.
NLStarLearner<I>	The NL* learner.
NLStarLearnerBuilder<I>	A builder for constructing NLStarLearner instances.
ObservationTable<I>	The observation table implementation for the NL* algorithm.
Row<I>	A single row in the ObservationTable for NL*.