Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.model

Class Summary

Class	Description
ExtensionResult<S,I,O>	A class that describes the possible result an 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.