Uses of Class
de.learnlib.algorithm.nlstar.NLStarLearner
-
Packages that use NLStarLearner Package Description 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. -
-
Uses of NLStarLearner in de.learnlib.algorithm.nlstar
Methods in de.learnlib.algorithm.nlstar that return NLStarLearner Modifier and Type Method Description NLStarLearner<I>
NLStarLearnerBuilder. create()
-