Uses of Package
de.learnlib.algorithm.nlstar

Classes in de.learnlib.algorithm.nlstar used by de.learnlib.algorithm.nlstar

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