Uses of Class
de.learnlib.algorithms.adt.api.PartialTransitionAnalyzer.HypothesisModificationException

Packages that use PartialTransitionAnalyzer.HypothesisModificationException

Package	Description
de.learnlib.algorithms.adt.api
de.learnlib.algorithms.adt.learner

Uses of PartialTransitionAnalyzer.HypothesisModificationException in de.learnlib.algorithms.adt.api

Methods in de.learnlib.algorithms.adt.api that throw PartialTransitionAnalyzer.HypothesisModificationException

Modifier and Type	Method and Description
void	PartialTransitionAnalyzer.closeTransition(S state, I input) Determine the successor/output of the transition in question (which is usually achieved by sifting the corresponding long-prefix through the ADT).

Uses of PartialTransitionAnalyzer.HypothesisModificationException in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner that throw PartialTransitionAnalyzer.HypothesisModificationException

Modifier and Type	Method and Description
void	ADTLearner.closeTransition(ADTState<I,O> state, I input)