Package de.learnlib.example

Class DefaultLearningExample.DefaultDFALearningExample<I>

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

ExampleAngluin, ExampleKeylock, ExamplePaulAndMary, ExampleRandomDFA, ExampleTinyDFA

Enclosing class:

DefaultLearningExample<I,D,A extends UniversalAutomaton<?,I,?,?,?> & SuffixOutput<I,D>>

public static class DefaultLearningExample.DefaultDFALearningExample<I>
extends DefaultLearningExample<I,Boolean,DFA<?,I>>
implements LearningExample.DFALearningExample<I>

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
DefaultDFALearningExample(A automaton)
DefaultDFALearningExample(Alphabet<I> alphabet, DFA<?,I> referenceAutomaton)

Method Summary

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

DefaultDFALearningExample

public DefaultDFALearningExample(A automaton)

DefaultDFALearningExample

public DefaultDFALearningExample(Alphabet<I> alphabet,
                                 DFA<?,I> referenceAutomaton)