Package de.learnlib.example.spa

Class ExampleRandomSPA<I>

java.lang.Object

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

de.learnlib.example.spa.ExampleRandomSPA<I>

All Implemented Interfaces:

LearningExample<I,SPA<?,I>>, LearningExample.SPALearningExample<I>

public class ExampleRandomSPA<I>
extends DefaultLearningExample.DefaultSPALearningExample<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
ExampleRandomSPA(Random random, ProceduralInputAlphabet<I> alphabet, int size)

Method Summary

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

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

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Constructor Detail

ExampleRandomSPA

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

Method Detail

createExample

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