de.learnlib.algorithms.ttt.base

Class SplitData<I,D>

java.lang.Object

de.learnlib.algorithms.ttt.base.SplitData<I,D>

Type Parameters:

I - input symbol type

public class SplitData<I,D>
extends Object

Data associated with a DTNode while an enclosing subtree is being split.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
SplitData()

Method Summary

Modifier and Type	Method and Description
IncomingList<I,D>	getIncoming(D label) Retrieves the list of incoming transitions for the respective label.
Set<D>	getLabels()
D	getStateLabel() Retrieves the state label associated with this split data.
boolean	hasStateLabel() Checks whether there is a state label associated with this node, regardless of its value.
boolean	isMarked(D label) Checks whether the corresponding node is marked with the given label.
boolean	mark(D label) Mark this node with the given label.
void	setStateLabel(D label) Sets the state label associated with this split data.

Methods inherited from class java.lang.Object

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

Constructor Detail

SplitData

public SplitData()

Method Detail

mark

public boolean mark(D label)

Mark this node with the given label. The result indicates whether it has been newly marked.

Parameters:

label - the label to mark this node with

Returns:

true if the node was previously unmarked (wrt. to the given label), false otherwise

getLabels

public Set<D> getLabels()

hasStateLabel

public boolean hasStateLabel()

Checks whether there is a state label associated with this node, regardless of its value.

Returns:

true if there is a state label (true or false) associated with this node, false otherwise

setStateLabel

public void setStateLabel(D label)

Sets the state label associated with this split data.

Note: invoking this operation is illegal if a state label has already been set.

Parameters:

label - the state label

getStateLabel

public D getStateLabel()

Retrieves the state label associated with this split data.

Note: invoking this operation is illegal if no state label has previously been set.

Returns:

the state label

getIncoming

public IncomingList<I,D> getIncoming(D label)

Retrieves the list of incoming transitions for the respective label.

This method will always return a non-null value.

Parameters:

label - the label

Returns:

the (possibly empty) list associated with the given state label

isMarked

public boolean isMarked(D label)

Checks whether the corresponding node is marked with the given label.

Parameters:

label - the label

Returns:

true if the corresponding node is marked with the given label, false otherwise