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