ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withAlphabet(net.automatalib.alphabet.Alphabet<I> alphabet) |
Sets the new value for the parameter alphabet and returns this builder instance.
|
ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withCexHandler(ObservationTableCEXHandler<? super I,? super O> cexHandler) |
Sets the new value for the parameter cexHandler and returns this builder instance.
|
ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withClosingStrategy(ClosingStrategy<? super I,? super O> closingStrategy) |
Sets the new value for the parameter closingStrategy and returns this builder instance.
|
ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withInitialPrefixes(List<net.automatalib.word.Word<I>> initialPrefixes) |
Sets the new value for the parameter initialPrefixes and returns this builder instance.
|
ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withInitialSuffixes(List<net.automatalib.word.Word<I>> initialSuffixes) |
Sets the new value for the parameter initialSuffixes and returns this builder instance.
|
ClassicLStarMooreBuilder<I,O> |
ClassicLStarMooreBuilder.withOracle(MembershipOracle<I,O> oracle) |
Sets the new value for the parameter oracle and returns this builder instance.
|