Package de.learnlib.algorithm.ttt.base

Class AbstractTTTLearner.Splitter<I,D>

java.lang.Object

de.learnlib.algorithm.ttt.base.AbstractTTTLearner.Splitter<I,D>

Type Parameters:

I - input symbol type

Enclosing class:

AbstractTTTLearner<A,I,D>

public static final class AbstractTTTLearner.Splitter<I,D>
extends Object

Data structure for representing a splitter.

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.

Field Summary

Fields

Modifier and Type	Field	Description
AbstractBaseDTNode<I,D>	succSeparator
int	symbolIdx

Constructor Summary

Constructors

Constructor	Description
Splitter(int symbolIdx)
Splitter(int symbolIdx, AbstractBaseDTNode<I,D> succSeparator)

Method Summary

Modifier and Type	Method	Description
Word<I>	getDiscriminator()
int	getDiscriminatorLength()

Methods inherited from class java.lang.Object

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

Field Detail

symbolIdx

public final int symbolIdx

succSeparator

public final AbstractBaseDTNode<I,D> succSeparator

Constructor Detail

Splitter

public Splitter(int symbolIdx)

Splitter

public Splitter(int symbolIdx,
                AbstractBaseDTNode<I,D> succSeparator)

Method Detail

getDiscriminator

public Word<I> getDiscriminator()

getDiscriminatorLength

public int getDiscriminatorLength()