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

Packages that use MalerPnueliDFABuilder

Package	Description
de.learnlib.algorithm.malerpnueli

Uses of MalerPnueliDFABuilder in de.learnlib.algorithm.malerpnueli

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

Modifier and Type	Method	Description
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet)	Sets the new value for the parameter alphabet and returns this builder instance.
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withClosingStrategy(ClosingStrategy<? super I,? super Boolean> closingStrategy)	Sets the new value for the parameter closingStrategy and returns this builder instance.
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withInitialSuffixes(List<net.automatalib.word.Word<I>> initialSuffixes)	Sets the new value for the parameter initialSuffixes and returns this builder instance.
MalerPnueliDFABuilder<I>	MalerPnueliDFABuilder.withOracle(MembershipOracle<I,Boolean> oracle)	Sets the new value for the parameter oracle and returns this builder instance.