Module de.learnlib.algorithm.lstar
Package de.learnlib.algorithm.rivestschapire
-
Class Summary Class Description RivestSchapireDFA<I> ADFA
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.RivestSchapireDFABuilder<I> A builder for constructingRivestSchapireDFA
instances.RivestSchapireMealy<I,O> AMealyMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.RivestSchapireMealyBuilder<I,O> A builder for constructingRivestSchapireMealy
instances.RivestSchapireMoore<I,O> AMooreMachine
-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Rivest & Schapire.RivestSchapireMooreBuilder<I,O> A builder for constructingRivestSchapireMoore
instances.