net.automatalib.util.minimizer

Class Block<S,L>

java.lang.Object

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

Author:

Malte Isberner

Method Summary

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.

Methods inherited from class net.automatalib.commons.smartcollections.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 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()

Description copied from interface: LinkedListEntry

Retrieves the element stored at this position in the list.

Returns:

the element.