Uses of Class
de.learnlib.algorithm.observationpack.vpa.hypothesis.HypIntTrans

Packages that use HypIntTrans

Package	Description
de.learnlib.algorithm.observationpack.vpa.hypothesis

Uses of HypIntTrans in de.learnlib.algorithm.observationpack.vpa.hypothesis

Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis that return HypIntTrans

Modifier and Type	Method	Description
HypIntTrans<I>	HypLoc.getInternalTransition(int intSymId)

Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis with parameters of type HypIntTrans

Modifier and Type	Method	Description
void	HypLoc.setInternalTransition(int intSymId, HypIntTrans<I> succ)