de.learnlib.algorithms.adt.model
Classes
ExtensionResult
ObservationTree
ReplacementResult