Uses of Class
de.learnlib.algorithm.malerpnueli.MalerPnueliMealy
-
Packages that use MalerPnueliMealy Package Description de.learnlib.algorithm.malerpnueli This package (and sub-packages) provides the implementation of theL* variation
based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli. -
-
Uses of MalerPnueliMealy in de.learnlib.algorithm.malerpnueli
Methods in de.learnlib.algorithm.malerpnueli that return MalerPnueliMealy Modifier and Type Method Description MalerPnueliMealy<I,O>
MalerPnueliMealyBuilder. create()
-