@ParametersAreNonnullByDefault public class SingleReplacer extends Object implements SubtreeReplacer
Constructor and Description |
---|
SingleReplacer(ADSCalculator adsProvider) |
Modifier and Type | Method and Description |
---|---|
<S,I,O> Set<ReplacementResult<S,I,O>> |
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.
|
public SingleReplacer(ADSCalculator adsProvider)
public <S,I,O> Set<ReplacementResult<S,I,O>> computeReplacements(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis, net.automatalib.words.Alphabet<I> inputs, ADT<S,I,O> adt)
SubtreeReplacer
Currently only replacements in the form of an ADS (i.e. no reset nodes) are supported.
computeReplacements
in interface SubtreeReplacer
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet typehypothesis
- the current hypothesis (without any undefined transitions)inputs
- the input alphabetadt
- the current adaptive discrimination treeSet
of proposed replacementsCopyright © 2018. All rights reserved.