Uses of Class
de.learnlib.algorithm.rivestschapire.RivestSchapireMealyBuilder
-
Packages that use RivestSchapireMealyBuilder Package Description de.learnlib.algorithm.rivestschapire This package (and sub-packages) provides the implementation of theL* variation
based on the paper Inference of finite automata using homing sequences by Ronald L. Rivest and Robert E. Schapire. -
-
Uses of RivestSchapireMealyBuilder in de.learnlib.algorithm.rivestschapire
Methods in de.learnlib.algorithm.rivestschapire that return RivestSchapireMealyBuilder Modifier and Type Method Description RivestSchapireMealyBuilder<I,O>
RivestSchapireMealyBuilder. withAlphabet(Alphabet<I> alphabet)
RivestSchapireMealyBuilder<I,O>
RivestSchapireMealyBuilder. withClosingStrategy(ClosingStrategy<? super I,? super Word<O>> closingStrategy)
RivestSchapireMealyBuilder<I,O>
RivestSchapireMealyBuilder. withInitialSuffixes(List<Word<I>> initialSuffixes)
RivestSchapireMealyBuilder<I,O>
RivestSchapireMealyBuilder. withOracle(MembershipOracle<I,Word<O>> oracle)
-