Package de.learnlib.algorithm.observationpack.vpa.hypothesis
-
Class Summary Class Description AbstractHypTrans<I> Abstract hypothesis transition.ContextPair<I> A context pair of prefix and suffix to discriminate a hypothesis state.DTNode<I> Specific discrimination tree node implementation.DTree<I> Specific discrimination tree implementation.HypIntTrans<I> Internal transition.HypLoc<I> Hypothesis location.HypRetTrans<I> Return transition.OneSEVPAHypothesis<I> Hypothesis model.TransList<I> A list of transitions.