S
- state class.L
- transition label class.public final class Block<S,L> extends AbstractBasicLinkedListEntry<Block<S,L>,Block<S,L>>
At the end of the minimization process, all states in the same block may be identified.
Modifier and Type | Method and Description |
---|---|
Block<S,L> |
getElement()
Retrieves the element stored at this position in the list.
|
int |
getId()
Retrieves the ID of this block.
|
boolean |
isEmpty()
Checks whether or not this block is empty, i.e., contains no states.
|
boolean |
isSingleton()
Checks whether or not this block is a singleton, i.e., contains only a single state.
|
int |
size()
Retrieves the size of this block, i.e., the number of states it contains.
|
getNext, getPrev, setNext, setPrev
public int size()
public boolean isEmpty()
true
iff the block is empty, false
otherwise.public boolean isSingleton()
true
iff this block is a singleton, false
otherwise.public int getId()
public Block<S,L> getElement()
LinkedListEntry
Copyright © 2020. All rights reserved.