Module de.learnlib.algorithm.lstar
Package de.learnlib.algorithm.lstar.mealy
-
Class Summary Class Description ClassicLStarMealy<I,O> An implementation of the L*Mealy algorithm for inferring Mealy machines, as described by Oliver Niese in his Ph.D.ClassicLStarMealyBuilder<I,O> A builder for constructingClassicLStarMealy
instances.ExtensibleLStarMealy<I,O> AMealyMachine
-based specialization of the extensible L* learner.ExtensibleLStarMealyBuilder<I,O> A builder for constructingExtensibleLStarMealy
instances.LStarMealyUtil