Package de.learnlib.algorithms.adt.api

Interface Summary

Interface	Description
ADTExtender	Interface for configuration objects that specify how to finalize the temporary splitter given by regular counterexample decomposition.
LeafSplitter	Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement.
PartialTransitionAnalyzer<S,I>	During the refinement process of the hypothesis, ADS/Ts may be computed on partially defined automata.
SubtreeReplacer	Interface for configuration objects that specify how nodes of the current ADT should be replaced.

Exception Summary

Exception	Description
PartialTransitionAnalyzer.HypothesisModificationException	A helper exception to interrupt computations on an invalid hypothesis.