Uses of Class
de.learnlib.algorithms.adt.adt.ADT

Packages that use ADT

Package	Description
de.learnlib.algorithms.adt.api
de.learnlib.algorithms.adt.config.model.replacer
de.learnlib.algorithms.adt.learner

Uses of ADT in de.learnlib.algorithms.adt.api

Methods in de.learnlib.algorithms.adt.api with parameters of type ADT

Modifier and Type	Method and Description
<S,I,O> Set<ReplacementResult<S,I,O>>	SubtreeReplacer.computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt) Compute how certain nodes of the ADT should be replaced.

Uses of ADT in de.learnlib.algorithms.adt.config.model.replacer

Methods in de.learnlib.algorithms.adt.config.model.replacer with parameters of type ADT

Modifier and Type	Method and Description
<S,I,O> Set<ReplacementResult<S,I,O>>	ExhaustiveReplacer.computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt)
<S,I,O> Set<ReplacementResult<S,I,O>>	SingleReplacer.computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt)
<S,I,O> Set<ReplacementResult<S,I,O>>	LevelOrderReplacer.computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt)

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

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

Modifier and Type	Method and Description
ADT<ADTState<I,O>,I,O>	ADTLearner.getADT()