de.learnlib.algorithms.adt.config

Class LeafSplitters

java.lang.Object

de.learnlib.algorithms.adt.config.LeafSplitters

public final class LeafSplitters
extends Object

A collection of default LeafSplitter configurations.

Author:

frohme

Field Summary

Fields

Modifier and Type	Field and Description
static LeafSplitter	DEFAULT_SPLITTER
static LeafSplitter	EXTEND_PARENT

Method Summary

Modifier and Type	Method and Description
static <S,I,O> ADTNode<S,I,O>	splitParent(ADTNode<S,I,O> nodeToSplit, net.automatalib.words.Word<I> distinguishingSuffix, net.automatalib.words.Word<O> oldOutput, net.automatalib.words.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,
                                                 net.automatalib.words.Word<I> distinguishingSuffix,
                                                 net.automatalib.words.Word<O> oldOutput,
                                                 net.automatalib.words.Word<O> newOutput)