Package net.automatalib.util.minimizer
Class Block<S,L>
- java.lang.Object
-
- net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry<Block<S,L>,Block<S,L>>
-
- net.automatalib.util.minimizer.Block<S,L>
-
- Type Parameters:
S
- state class.L
- transition label class.
- All Implemented Interfaces:
ElementReference
,LinkedListEntry<Block<S,L>,Block<S,L>>
public final class Block<S,L> extends AbstractBasicLinkedListEntry<Block<S,L>,Block<S,L>>
A block in the partition calculated during minimization.At the end of the minimization process, all states in the same block may be identified.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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 this block is empty, i.e., contains no states.boolean
isSingleton()
Checks whether 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.-
Methods inherited from class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry
getNext, getPrev, setNext, setPrev
-
-
-
-
Method Detail
-
size
public int size()
Retrieves the size of this block, i.e., the number of states it contains.- Returns:
- the size of this block.
-
isEmpty
public boolean isEmpty()
Checks whether this block is empty, i.e., contains no states.- Returns:
true
iff the block is empty,false
otherwise.
-
isSingleton
public boolean isSingleton()
Checks whether this block is a singleton, i.e., contains only a single state.- Returns:
true
iff this block is a singleton,false
otherwise.
-
getId
public int getId()
Retrieves the ID of this block.- Returns:
- the id of this block.
-
getElement
public Block<S,L> getElement()
Description copied from interface:LinkedListEntry
Retrieves the element stored at this position in the list.- Returns:
- the element.
-
-