Uses of Interface
de.learnlib.algorithm.adt.api.ADTExtender

Packages that use ADTExtender

Package	Description
de.learnlib.algorithm.adt.config
de.learnlib.algorithm.adt.learner

Uses of ADTExtender in de.learnlib.algorithm.adt.config

Fields in de.learnlib.algorithm.adt.config declared as ADTExtender

Modifier and Type	Field	Description
static ADTExtender	ADTExtenders.EXTEND_BEST_EFFORT
static ADTExtender	ADTExtenders.NOP

Uses of ADTExtender in de.learnlib.algorithm.adt.learner

Methods in de.learnlib.algorithm.adt.learner that return ADTExtender

Modifier and Type	Method	Description
ADTExtender	ADTLearnerBuilder.getAdtExtender()	Returns the current value for the parameter adtExtender.

Methods in de.learnlib.algorithm.adt.learner with parameters of type ADTExtender

Modifier and Type	Method	Description
void	ADTLearnerBuilder.setAdtExtender(ADTExtender adtExtender)	Sets the new value for the parameter adtExtender.
ADTLearnerBuilder<I,O>	ADTLearnerBuilder.withAdtExtender(ADTExtender adtExtender)	Sets the new value for the parameter adtExtender and returns this builder instance.

Constructors in de.learnlib.algorithm.adt.learner with parameters of type ADTExtender

Constructor	Description
ADTLearner(net.automatalib.alphabet.Alphabet<I> alphabet, AdaptiveMembershipOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer)
ADTLearner(net.automatalib.alphabet.Alphabet<I> alphabet, AdaptiveMembershipOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer, boolean useObservationTree, LocalSuffixFinder<? super I,? super net.automatalib.word.Word<O>> suffixFinder)