Uses of Interface
de.learnlib.algorithm.adt.api.ADTExtender
-
Packages that use ADTExtender Package Description de.learnlib.algorithm.adt.config de.learnlib.algorithm.adt.config.model.extender 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.config.model.extender
Classes in de.learnlib.algorithm.adt.config.model.extender that implement ADTExtender Modifier and Type Class Description class
DefaultExtender
-
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()
Methods in de.learnlib.algorithm.adt.learner with parameters of type ADTExtender Modifier and Type Method Description void
ADTLearnerBuilder. setAdtExtender(ADTExtender adtExtender)
ADTLearnerBuilder<I,O>
ADTLearnerBuilder. withAdtExtender(ADTExtender adtExtender)
Constructors in de.learnlib.algorithm.adt.learner with parameters of type ADTExtender Constructor 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)
-