Package de.learnlib.example.dfa

Class ExampleRandomDFA

java.lang.Object

de.learnlib.example.DefaultLearningExample<I,Boolean,DFA<?,I>>

de.learnlib.example.DefaultLearningExample.DefaultDFALearningExample<Integer>

de.learnlib.example.dfa.ExampleRandomDFA

All Implemented Interfaces:

LearningExample<Integer,DFA<?,Integer>>, LearningExample.DFALearningExample<Integer>, LearningExample.UniversalDeterministicLearningExample<Integer,DFA<?,Integer>>

public class ExampleRandomDFA
extends DefaultLearningExample.DefaultDFALearningExample<Integer>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.example.DefaultLearningExample

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>, DefaultLearningExample.DefaultMooreLearningExample<I,D>, DefaultLearningExample.DefaultOneSEVPALearningExample<I>, DefaultLearningExample.DefaultSBALearningExample<I>, DefaultLearningExample.DefaultSPALearningExample<I>, DefaultLearningExample.DefaultSPMMLearningExample<I,O>, DefaultLearningExample.DefaultSSTLearningExample<I,D>

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
ExampleRandomDFA(Random rand, int numInputs, int size)

Method Summary

Modifier and Type	Method	Description
static ExampleRandomDFA	createExample(Random rand, int numInputs, int size)

Methods inherited from class de.learnlib.example.DefaultLearningExample

getAlphabet, getReferenceAutomaton

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.example.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleRandomDFA

public ExampleRandomDFA(Random rand,
                        int numInputs,
                        int size)

Method Detail

createExample

public static ExampleRandomDFA createExample(Random rand,
                                             int numInputs,
                                             int size)