Package de.learnlib.example
This package (including sub-packages) contains example models of various types used in integration-tests.
-
Interface Summary Interface Description LearningExample<I,A> LearningExample.DFALearningExample<I> LearningExample.MealyLearningExample<I,O> LearningExample.MooreLearningExample<I,O> LearningExample.OneSEVPALearningExample<I> LearningExample.SBALearningExample<I> LearningExample.SPALearningExample<I> LearningExample.SPMMLearningExample<I,O> LearningExample.SSTLearningExample<I,O> LearningExample.StateLocalInputMealyLearningExample<I,O> ALearningExample
refinement forStateLocalInputMealyMachine
.LearningExample.UniversalDeterministicLearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>> PassiveLearningExample<I,D> PassiveLearningExample.DFAPassiveLearningExample<I> PassiveLearningExample.MealyPassiveLearningExample<I,O> PassiveLearningExample.MoorePassiveLearningExample<I,O> PassiveLearningExample.SSTPassiveLearningExample<I,O>