I
- input symbol typepublic static final class AbstractTTTLearner.Splitter<I,D> extends Object
A splitter is represented by an input symbol, and a DT node that separates the successors (wrt. the input symbol) of the original states. From this, a discriminator can be obtained by prepending the input symbol to the discriminator that labels the separating successor.
Note: as the discriminator finalization is applied to the root of a block and affects all nodes, there is no need to store references to the source states from which this splitter was obtained.
Modifier and Type | Field and Description |
---|---|
AbstractBaseDTNode<I,D> |
succSeparator |
int |
symbolIdx |
Constructor and Description |
---|
Splitter(int symbolIdx) |
Splitter(int symbolIdx,
AbstractBaseDTNode<I,D> succSeparator) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.words.Word<I> |
getDiscriminator() |
int |
getDiscriminatorLength() |
public final int symbolIdx
public final AbstractBaseDTNode<I,D> succSeparator
public Splitter(int symbolIdx)
public Splitter(int symbolIdx, AbstractBaseDTNode<I,D> succSeparator)
public net.automatalib.words.Word<I> getDiscriminator()
public int getDiscriminatorLength()
Copyright © 2018. All rights reserved.