net.automatalib.util.minimizer

Class Block<S,L>

java.lang.Object

net.automatalib.commons.smartcollections.BasicLinkedListEntry<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 BasicLinkedListEntry<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.

Author:

Malte Isberner

Method Summary

Methods

Modifier and Type	Method and Description
Block<S,L>	getElement()
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.

Methods inherited from class net.automatalib.commons.smartcollections.BasicLinkedListEntry

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 or not this block is empty, i.e., contains no states.

Returns:

true iff the block is empty, false otherwise.

isSingleton

public boolean isSingleton()

Checks whether or not 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()