Uses of Class
net.automatalib.util.partitionrefinement.Block

Packages that use Block

Package	Description
net.automatalib.util.partitionrefinement

Uses of Block in net.automatalib.util.partitionrefinement

Fields in net.automatalib.util.partitionrefinement declared as Block

Modifier and Type	Field and Description
Block[]	PaigeTarjan.blockForState The array mapping states (in the range between 0 and PaigeTarjan.numStates) to their containing block.
Block	Block.nextBlock
protected Block	Block.nextInWorklist
protected Block	Block.nextTouched

Methods in net.automatalib.util.partitionrefinement that return Block

Modifier and Type	Method and Description
Block	PaigeTarjan.createBlock() Creates a new block.
Block[]	PaigeTarjan.createBlockForStateMap() Creates the PaigeTarjan.blockForState mapping from the blocks in the block list, and the contents of the PaigeTarjan.blockData array.
Block	PaigeTarjan.getBlockForState(int id) Retrieves the corresponding block for a given state (ID).
Block	Block.split(int newId) Splits this block, if applicable.

Methods in net.automatalib.util.partitionrefinement that return types with arguments of type Block

Modifier and Type	Method and Description
Iterable<Block>	PaigeTarjan.blockList() Retrieves an Iterable that provides the iterator returned by PaigeTarjan.blockListIterator().
Iterator<Block>	PaigeTarjan.blockListIterator() Retrieves an iterator for iterating over all blocks in the block list.

Methods in net.automatalib.util.partitionrefinement with parameters of type Block

Modifier and Type	Method and Description
int	PaigeTarjan.getRepresentative(Block b) Retrieves a representative state from the given block.
void	PaigeTarjan.setBlockForState(Block[] blockForState)
PrimitiveIterator.OfInt	PaigeTarjan.statesInBlockIterator(Block b) Retrieves an iterator for the contents of the given block.
Spliterator.OfInt	PaigeTarjan.statesInBlockSpliterator(Block b) Retrieves a spliterator for the contents of the given block.

Constructors in net.automatalib.util.partitionrefinement with parameters of type Block

Constructor and Description
Block(int low, int high, int id, Block next) Constructor.