Package de.learnlib.algorithm.adt.config

Class LeafSplitters

java.lang.Object

de.learnlib.algorithm.adt.config.LeafSplitters

public final class LeafSplitters
extends Object

A collection of default LeafSplitter configurations.

Field Summary

Fields

Modifier and Type	Field	Description
static LeafSplitter	DEFAULT_SPLITTER
static LeafSplitter	EXTEND_PARENT

Method Summary

Modifier and Type	Method	Description
static <S,I,O> ADTNode<S,I,O>	splitParent(ADTNode<S,I,O> nodeToSplit, Word<I> distinguishingSuffix, Word<O> oldOutput, Word<O> newOutput)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_SPLITTER

public static final LeafSplitter DEFAULT_SPLITTER

EXTEND_PARENT

public static final LeafSplitter EXTEND_PARENT

Method Detail

splitParent

public static <S,I,O> ADTNode<S,I,O> splitParent(ADTNode<S,I,O> nodeToSplit,
                                                                         Word<I> distinguishingSuffix,
                                                                         Word<O> oldOutput,
                                                                         Word<O> newOutput)