de.learnlib.examples

Interface LearningExample.StateLocalInputMealyLearningExample<I,O>

All Superinterfaces:

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

All Known Implementing Classes:

ExampleRandomStateLocalInputMealy

Enclosing interface:

LearningExample<I,A extends UniversalAutomaton<?,I,?,?,?>>

public static interface LearningExample.StateLocalInputMealyLearningExample<I,O>
extends LearningExample<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.examples.LearningExample

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

Method Summary

Modifier and Type	Method and Description
O	getUndefinedOutput()

Methods inherited from interface de.learnlib.examples.LearningExample

getAlphabet, getReferenceAutomaton

Method Detail

getUndefinedOutput

O getUndefinedOutput()