Uses of Class
de.learnlib.algorithm.observationpack.vpa.hypothesis.HypRetTrans
-
Packages that use HypRetTrans Package Description de.learnlib.algorithm.observationpack.vpa.hypothesis -
-
Uses of HypRetTrans in de.learnlib.algorithm.observationpack.vpa.hypothesis
Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis that return HypRetTrans Modifier and Type Method Description HypRetTrans<I>
HypLoc. getReturnTransition(int retSymId, int stackSym)
Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis with parameters of type HypRetTrans Modifier and Type Method Description void
HypLoc. setReturnTransition(int retSymId, int stackSym, HypRetTrans<I> trans)
-