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

Packages that use MalerPnueliMealyBuilder

Package	Description
de.learnlib.algorithm.malerpnueli	This package (and sub-packages) provides the implementation of the L* variation based on the paper On the Learnability of Infinitary Regular Sets by Oded Maler and Amir Pnueli.

Uses of MalerPnueliMealyBuilder in de.learnlib.algorithm.malerpnueli

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

Modifier and Type	Method	Description
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withAlphabet(Alphabet<I> alphabet)
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withInitialSuffixes(List<Word<I>> initialSuffixes)
MalerPnueliMealyBuilder<I,O>	MalerPnueliMealyBuilder.withOracle(MembershipOracle<I,Word<O>> oracle)