Block (AutomataLib :: Utilities 0.11.0 API)

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()`
`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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- 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()
```