Uses of Class
de.learnlib.algorithms.adt.learner.ADTLearnerBuilder

Packages that use ADTLearnerBuilder

Package	Description
de.learnlib.algorithms.adt.learner

Uses of ADTLearnerBuilder in de.learnlib.algorithms.adt.learner

Methods in de.learnlib.algorithms.adt.learner that return ADTLearnerBuilder

Modifier and Type	Method and 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)