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

Packages that use ADTExtender

Package	Description
de.learnlib.algorithms.adt.config
de.learnlib.algorithms.adt.config.model.extender
de.learnlib.algorithms.adt.learner

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

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

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

Uses of ADTExtender in de.learnlib.algorithms.adt.config.model.extender

Classes in de.learnlib.algorithms.adt.config.model.extender that implement ADTExtender

Modifier and Type	Class and Description
class	DefaultExtender

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

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

Modifier and Type	Method and Description
static ADTExtender	ADTLearner.BuilderDefaults.adtExtender()
ADTExtender	ADTLearnerBuilder.getAdtExtender()

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

Modifier and Type	Method and Description
void	ADTLearnerBuilder.setAdtExtender(ADTExtender adtExtender)
ADTLearnerBuilder<I,O>	ADTLearnerBuilder.withAdtExtender(ADTExtender adtExtender)

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

Constructor and Description
ADTLearner(Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer)
ADTLearner(Alphabet<I> alphabet, SymbolQueryOracle<I,O> oracle, LeafSplitter leafSplitter, ADTExtender adtExtender, SubtreeReplacer subtreeReplacer, boolean useObservationTree)