Class Hierarchy
- java.lang.Object
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer.HypothesisModificationException
- java.lang.RuntimeException
- java.lang.Exception
- java.lang.Throwable (implements java.io.Serializable)
Interface Hierarchy
- de.learnlib.algorithm.adt.api.ADTExtender
- de.learnlib.algorithm.adt.api.LeafSplitter
- de.learnlib.algorithm.adt.api.PartialTransitionAnalyzer<S,I>
- de.learnlib.algorithm.adt.api.SubtreeReplacer