Module de.learnlib.algorithm.lsharp

Package de.learnlib.algorithm.lsharp

Interface Summary

Interface	Description
ObservationTree<S extends Comparable<S>,I,O>
TransitionInformation<I,O>

Class Summary

Class	Description
ApartnessUtil
LSharpMealy<I,O>	Implementation of the L# algorithm for MealyMachines.
LSharpMealyBuilder<I,O>	A builder for constructing LSharpMealy instances.
LSOracle<I,O>
MapTransitions<I,O>
NormalObservationTree<I,O>

Enum Summary

Enum	Description
Rule2
Rule3