de.learnlib.examples.dfa

Class ExampleRandomDFA

java.lang.Object

de.learnlib.examples.DefaultLearningExample<I,Boolean,net.automatalib.automata.fsa.DFA<?,I>>

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

de.learnlib.examples.dfa.ExampleRandomDFA

All Implemented Interfaces:

LearningExample<Integer,Boolean,net.automatalib.automata.fsa.DFA<?,Integer>>, LearningExample.DFALearningExample<Integer>

public class ExampleRandomDFA
extends DefaultLearningExample.DefaultDFALearningExample<Integer>

Nested Class Summary

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

DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>

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

LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>

Constructor Summary

Constructors

Constructor and Description
ExampleRandomDFA(int numInputs, int size)
ExampleRandomDFA(Random rand, int numInputs, int size)

Method Summary

Methods inherited from class de.learnlib.examples.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.examples.LearningExample

getAlphabet, getReferenceAutomaton

Constructor Detail

ExampleRandomDFA

public ExampleRandomDFA(int numInputs,
                        int size)

ExampleRandomDFA

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