Package de.learnlib.algorithm.nlstar

This package (and sub-packages) provides the implementation of the NL* learning algorithm as described in the paper Angluin-Style Learning of NFA by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

Class Summary

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