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

Packages that use MalerPnueliMooreBuilder

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 MalerPnueliMooreBuilder in de.learnlib.algorithm.malerpnueli

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

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