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