Class LevelOrderReplacer
- java.lang.Object
-
- de.learnlib.algorithm.adt.config.model.replacer.LevelOrderReplacer
-
- All Implemented Interfaces:
SubtreeReplacer
public class LevelOrderReplacer extends Object implements SubtreeReplacer
-
-
Constructor Summary
Constructors Constructor Description LevelOrderReplacer(ADSCalculator adsProvider)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <S,I,O>
Set<ReplacementResult<S,I,O>>computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt)
Compute how certain nodes of the ADT should be replaced.
-
-
-
Constructor Detail
-
LevelOrderReplacer
public LevelOrderReplacer(ADSCalculator adsProvider)
-
-
Method Detail
-
computeReplacements
public <S,I,O> Set<ReplacementResult<S,I,O>> computeReplacements(MealyMachine<S,I,?,O> hypothesis, Alphabet<I> inputs, ADT<S,I,O> adt)
Description copied from interface:SubtreeReplacer
Compute how certain nodes of the ADT should be replaced. It is assumed, the replacements are well-defined (i.e. each replaced node belongs to a distinct subtree).Currently only replacements in the form of an ADS (i.e. no reset nodes) are supported.
- Specified by:
computeReplacements
in interfaceSubtreeReplacer
- Type Parameters:
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type- Parameters:
hypothesis
- the current hypothesis (without any undefined transitions)inputs
- the input alphabetadt
- the current adaptive discrimination tree- Returns:
- A
Set
of proposed replacements
-
-