de.learnlib.algorithms.adt.api

Interface LeafSplitter

@ParametersAreNonnullByDefault
public interface LeafSplitter

Interface for configuration objects that specify how to split the ADT leaf of a hypothesis state that needs refinement.

Author:

frohme

Method Summary

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.

Method Detail

split

<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.

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

Parameters:

nodeToSplit - the existing leaf that should be split

distinguishingSuffix - 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 suffix

newOutput - the hypothesis output of the new leaf given the distinguishing suffix

Returns:

the new leaf that should reference the new hypothesis state