Module de.learnlib.algorithm.lstar

Package de.learnlib.algorithm.malerpnueli

Class Summary

Class	Description
MalerPnueliDFA<I>	A DFA-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliDFABuilder<I>	A builder for constructing MalerPnueliDFA instances.
MalerPnueliMealy<I,O>	A MealyMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliMealyBuilder<I,O>	A builder for constructing MalerPnueliMealy instances.
MalerPnueliMoore<I,O>	A MooreMachine-based specialization of the L* learner which uses the counterexample analysis strategy proposed by Maler & Pnueli.
MalerPnueliMooreBuilder<I,O>	A builder for constructing MalerPnueliMoore instances.