public final class LeafSplitters extends Object
LeafSplitter
configurations.Modifier and Type | Field and Description |
---|---|
static LeafSplitter |
DEFAULT_SPLITTER |
static LeafSplitter |
EXTEND_PARENT |
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) |
public static final LeafSplitter DEFAULT_SPLITTER
public static final LeafSplitter EXTEND_PARENT
Copyright © 2018. All rights reserved.