de.learnlib.datastructure.discriminationtree

Class SplitData<O,T extends IntrusiveList<?>>

java.lang.Object

de.learnlib.datastructure.discriminationtree.SplitData<O,T>

Type Parameters:

O - output symbol type

T - transition type

public class SplitData<O,T extends IntrusiveList<?>>
extends Object

Data associated with a discrimination tree node while an enclosing subtree is being split.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
SplitData(Supplier<T> listSuppllier)

Method Summary

Modifier and Type	Method and Description
T	getIncoming(O label) Retrieves the list of incoming transitions for the respective label.
Set<O>	getLabels()
O	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(O label) Checks whether the corresponding node is marked with the given label.
boolean	mark(O label) Mark this node with the given label.
void	setStateLabel(O 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(Supplier<T> listSuppllier)

Method Detail

mark

public boolean mark(O 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<O> getLabels()

getStateLabel

public O 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

setStateLabel

public void setStateLabel(O 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

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

getIncoming

public T getIncoming(O 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(O 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