Package de.learnlib.algorithms.adt.model

Class Summary

Class	Description
ExtensionResult<S,I,O>	A class that describes the possible result a ADTExtender can return.
ObservationTree<S,I,O>	A class, that stores observations of the system under learning in a tree-like structure.
ReplacementResult<S,I,O>	A class that describes the possible result a SubtreeReplacer can return.