Module de.learnlib.algorithm.adt

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 final LeafSplitter	DEFAULT_SPLITTER
static final 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 Details

DEFAULT_SPLITTER

public static final LeafSplitter DEFAULT_SPLITTER

EXTEND_PARENT

public static final LeafSplitter EXTEND_PARENT

Method Details

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)