Package | Description |
---|---|
de.learnlib.algorithms.lstargeneric.mealy | |
de.learnlib.algorithms.malerpnueli | |
de.learnlib.algorithms.rivestschapire |
Class and Description |
---|
ClassicLStarMealy
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described
by Oliver Niese in his Ph.D. thesis.
|
Class and Description |
---|
ExtensibleLStarMealy |
Class and Description |
---|
ExtensibleLStarMealy |
Copyright © 2015. All rights reserved.