Package de.learnlib.example

Interface LearningExample.StateLocalInputMealyLearningExample<I,O>

All Superinterfaces:

LearningExample<I,StateLocalInputMealyMachine<?,I,?,O>>, LearningExample.UniversalDeterministicLearningExample<I,StateLocalInputMealyMachine<?,I,?,O>>

All Known Implementing Classes:

ExampleRandomStateLocalInputMealy

Enclosing interface:

LearningExample<I,A>

public static interface LearningExample.StateLocalInputMealyLearningExample<I,O>
extends LearningExample.UniversalDeterministicLearningExample<I,StateLocalInputMealyMachine<?,I,?,O>>

A LearningExample refinement for StateLocalInputMealyMachine.

Note that while StateLocalInputMealyMachines can return information about their local inputs and are therefore in general partially defined, the examples are total MealyMachines in order to be usable with the existing integration-test infrastructure of (total) MealyMachines. The 'undefined' transitions are answered with getUndefinedOutput().

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

Modifier and Type	Method	Description
O	getUndefinedOutput()

Methods inherited from interface de.learnlib.example.LearningExample

getAlphabet, getReferenceAutomaton

Method Detail

getUndefinedOutput

O getUndefinedOutput()