Uses of Class
de.learnlib.algorithm.nlstar.NLStarLearnerBuilder
-
Packages that use NLStarLearnerBuilder 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 NLStarLearnerBuilder in de.learnlib.algorithm.nlstar
Methods in de.learnlib.algorithm.nlstar that return NLStarLearnerBuilder Modifier and Type Method Description NLStarLearnerBuilder<I>
NLStarLearnerBuilder. withAlphabet(Alphabet<I> alphabet)
NLStarLearnerBuilder<I>
NLStarLearnerBuilder. withOracle(MembershipOracle<I,Boolean> oracle)
-