Constructor and Description |
---|
SplitData() |
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.
|
public boolean mark(D label)
label
- the label to mark this node withtrue
if the node was previously unmarked (wrt. to the given label),
false
otherwisepublic boolean hasStateLabel()
true
if there is a state label (true
or false
)
associated with this node, false
otherwisepublic void setStateLabel(D label)
Note: invoking this operation is illegal if a state label has already been set.
label
- the state labelpublic D getStateLabel()
Note: invoking this operation is illegal if no state label has previously been set.
public IncomingList<I,D> getIncoming(D label)
This method will always return a non-null
value.
label
- the labelpublic boolean isMarked(D label)
label
- the labeltrue
if the corresponding node is marked with the given
label, false
otherwiseCopyright © 2015. All rights reserved.