Package de.learnlib.example.sba

Class ExampleRandomSBA<I>

java.lang.Object

de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample<I>

de.learnlib.example.sba.ExampleRandomSBA<I>

All Implemented Interfaces:

LearningExample<I,SBA<?,I>>, LearningExample.SBALearningExample<I>

public class ExampleRandomSBA<I>
extends DefaultLearningExample.DefaultSBALearningExample<I>

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.example.LearningExample

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>, LearningExample.UniversalDeterministicLearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>>

Constructor Summary

Constructors

Constructor	Description
ExampleRandomSBA(Random random, ProceduralInputAlphabet<I> alphabet, int size)

Method Summary

Modifier and Type	Method	Description
static <I> ExampleRandomSBA<I>	createExample(Random random, ProceduralInputAlphabet<I> alphabet, int size)

Methods inherited from class de.learnlib.example.DefaultLearningExample.DefaultSBALearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleRandomSBA

public ExampleRandomSBA(Random random,
                        ProceduralInputAlphabet<I> alphabet,
                        int size)

Method Detail

createExample

public static <I> ExampleRandomSBA<I> createExample(Random random,
                                                    ProceduralInputAlphabet<I> alphabet,
                                                    int size)