Uses of Class
de.learnlib.algorithm.malerpnueli.MalerPnueliDFA

Packages that use MalerPnueliDFA

Package	Description
de.learnlib.algorithm.malerpnueli

Uses of MalerPnueliDFA in de.learnlib.algorithm.malerpnueli

Methods in de.learnlib.algorithm.malerpnueli that return MalerPnueliDFA

Modifier and Type	Method	Description
MalerPnueliDFA<I>	MalerPnueliDFABuilder.create()	Creates a new MalerPnueliDFA instance with the configured parameters.