Package de.learnlib.example

Class LearningExamples

java.lang.Object

de.learnlib.example.LearningExamples

public final class LearningExamples
extends Object

Method Summary

Modifier and Type	Method	Description
static List<LearningExample.DFALearningExample<?>>	createDFAExamples()
static List<LearningExample.MealyLearningExample<?,?>>	createMealyExamples()
static List<LearningExample.MooreLearningExample<?,?>>	createMooreExamples()
static List<LearningExample.OneSEVPALearningExample<?>>	createOneSEVPAExamples()
static List<LearningExample.SBALearningExample<?>>	createSBAExamples()
static List<LearningExample.StateLocalInputMealyLearningExample<?,?>>	createSLIMealyExamples()
static List<LearningExample.SPALearningExample<?>>	createSPAExamples()
static List<LearningExample.SPMMLearningExample<?,?>>	createSPMMExamples()
static List<LearningExample.SSTLearningExample<?,?>>	createSSTExamples()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

createDFAExamples

public static List<LearningExample.DFALearningExample<?>> createDFAExamples()

createMealyExamples

public static List<LearningExample.MealyLearningExample<?,?>> createMealyExamples()

createMooreExamples

public static List<LearningExample.MooreLearningExample<?,?>> createMooreExamples()

createSLIMealyExamples

public static List<LearningExample.StateLocalInputMealyLearningExample<?,?>> createSLIMealyExamples()

createSSTExamples

public static List<LearningExample.SSTLearningExample<?,?>> createSSTExamples()

createSPAExamples

public static List<LearningExample.SPALearningExample<?>> createSPAExamples()

createSBAExamples

public static List<LearningExample.SBALearningExample<?>> createSBAExamples()

createSPMMExamples

public static List<LearningExample.SPMMLearningExample<?,?>> createSPMMExamples()

createOneSEVPAExamples

public static List<LearningExample.OneSEVPALearningExample<?>> createOneSEVPAExamples()