Uses of Class
de.learnlib.algorithm.ttt.vpa.Splitter
-
Packages that use Splitter Package Description de.learnlib.algorithm.ttt.vpa This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner. -
-
Uses of Splitter in de.learnlib.algorithm.ttt.vpa
Methods in de.learnlib.algorithm.ttt.vpa with parameters of type Splitter Modifier and Type Method Description AbstractHypTrans<I>
TTTLearnerVPA. getSplitterTrans(HypLoc<I> loc, Splitter<I> splitter)
-