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 constructingClassicLStarMealyinstances.ExtensibleLStarMealy<I,O> AMealyMachine-based specialization of the extensible L* learner.ExtensibleLStarMealyBuilder<I,O> A builder for constructingExtensibleLStarMealyinstances.LStarMealyUtil