de.learnlib.examples

Interface LearningExample.DFALearningExample<I>

All Superinterfaces:

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

All Known Implementing Classes:

DefaultLearningExample.DefaultDFALearningExample, ExampleAngluin, ExampleKeylock, ExamplePaulAndMary

Enclosing interface:

LearningExample<I,O,A extends net.automatalib.automata.UniversalAutomaton<?,I,?,?,?> & net.automatalib.automata.concepts.SuffixOutput<I,O>>

public static interface LearningExample.DFALearningExample<I>
extends LearningExample<I,Boolean,net.automatalib.automata.fsa.DFA<?,I>>

Nested Class Summary

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

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

Method Summary

Methods inherited from interface de.learnlib.examples.LearningExample

getAlphabet, getReferenceAutomaton