Package de.learnlib.example

Interface LearningExample.DFALearningExample<I>

All Superinterfaces:

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

All Known Implementing Classes:

DefaultLearningExample.DefaultDFALearningExample, ExampleAngluin, ExampleKeylock, ExamplePaulAndMary, ExampleRandomDFA, ExampleTinyDFA

Enclosing interface:

LearningExample<I,A>

public static interface LearningExample.DFALearningExample<I>
extends LearningExample.UniversalDeterministicLearningExample<I,DFA<?,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,?,?,?>>

Method Summary

Methods inherited from interface de.learnlib.example.LearningExample

getAlphabet, getReferenceAutomaton