Uses of Class
de.learnlib.algorithm.adt.learner.ADTLearnerBuilder
-
Packages that use ADTLearnerBuilder Package Description de.learnlib.algorithm.adt.learner -
-
Uses of ADTLearnerBuilder in de.learnlib.algorithm.adt.learner
Methods in de.learnlib.algorithm.adt.learner that return ADTLearnerBuilder Modifier and Type Method Description ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withAdtExtender(ADTExtender adtExtender)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withAlphabet(Alphabet<I> alphabet)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withLeafSplitter(LeafSplitter leafSplitter)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withOracle(SymbolQueryOracle<I,O> oracle)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withSubtreeReplacer(SubtreeReplacer subtreeReplacer)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withUseObservationTree(boolean useObservationTree)
-