Uses of Class
de.learnlib.algorithm.adt.model.ReplacementResult

Packages that use ReplacementResult

Package	Description
de.learnlib.algorithm.adt.api
de.learnlib.algorithm.adt.config.model.replacer

Uses of ReplacementResult in de.learnlib.algorithm.adt.api

Methods in de.learnlib.algorithm.adt.api that return types with arguments of type ReplacementResult

Modifier and Type	Method	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 ReplacementResult in de.learnlib.algorithm.adt.config.model.replacer

Methods in de.learnlib.algorithm.adt.config.model.replacer that return types with arguments of type ReplacementResult

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