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

Packages that use PartialTransitionAnalyzer.HypothesisModificationException

Package	Description
de.learnlib.algorithm.adt.api

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

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

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