de.learnlib.algorithms.adt.api

Interfaces

• ADTExtender
• LeafSplitter
• PartialTransitionAnalyzer
• SubtreeReplacer

Exceptions

• PartialTransitionAnalyzer.HypothesisModificationException