@ParametersAreNonnullByDefault public interface LeafSplitter
Modifier and Type | Method and Description |
---|---|
<S,I,O> ADTNode<S,I,O> |
split(ADTNode<S,I,O> nodeToSplit,
net.automatalib.words.Word<I> distinguishingSuffix,
net.automatalib.words.Word<O> oldOutput,
net.automatalib.words.Word<O> newOutput)
Split the specified node to correctly distinguish between the old and new hypothesis state.
|
<S,I,O> ADTNode<S,I,O> split(ADTNode<S,I,O> nodeToSplit, net.automatalib.words.Word<I> distinguishingSuffix, net.automatalib.words.Word<O> oldOutput, net.automatalib.words.Word<O> newOutput)
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet typenodeToSplit
- the existing leaf that should be splitdistinguishingSuffix
- the input sequence that splits the hypothesis state of the leaf to split and the new node.oldOutput
- the hypothesis output of the node to split given the distinguishing suffixnewOutput
- the hypothesis output of the new leaf given the distinguishing suffixCopyright © 2018. All rights reserved.