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	Description
Block[]	PaigeTarjan.blockForState	The array mapping states (in the range between 0 and PaigeTarjan.numStates) to their containing block.
@Nullable Block	Block.nextBlock
protected @Nullable Block	Block.nextInWorklist
protected @Nullable Block	Block.nextTouched

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

Modifier and Type	Method	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).
@Nullable 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	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	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	Description
Block(int low, int high, int id, @Nullable Block next)	Constructor.