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

Packages that use PartialTransitionAnalyzer.HypothesisModificationException

Package	Description
de.learnlib.algorithms.adt.api

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

Fields in de.learnlib.algorithms.adt.api declared as PartialTransitionAnalyzer.HypothesisModificationException

Modifier and Type	Field and Description
static PartialTransitionAnalyzer.HypothesisModificationException	PartialTransitionAnalyzer.HYPOTHESIS_MODIFICATION_EXCEPTION Global exception instance to avoid (unnecessary) re-instantiation.