Package | Description |
---|---|
de.learnlib.algorithms.adt.api | |
de.learnlib.algorithms.adt.config.model.replacer |
Modifier and Type | Method and Description |
---|---|
<S,I,O> Set<ReplacementResult<S,I,O>> |
SubtreeReplacer.computeReplacements(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> inputs,
ADT<S,I,O> adt)
Compute how certain nodes of the ADT should be replaced.
|
Modifier and Type | Method and Description |
---|---|
<S,I,O> Set<ReplacementResult<S,I,O>> |
SingleReplacer.computeReplacements(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> inputs,
ADT<S,I,O> adt) |
<S,I,O> Set<ReplacementResult<S,I,O>> |
ExhaustiveReplacer.computeReplacements(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> inputs,
ADT<S,I,O> adt) |
<S,I,O> Set<ReplacementResult<S,I,O>> |
LevelOrderReplacer.computeReplacements(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> inputs,
ADT<S,I,O> adt) |
Copyright © 2018. All rights reserved.