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 between0
andPaigeTarjan.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 thePaigeTarjan.blockForState
mapping from the blocks in the block list, and the contents of thePaigeTarjan.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 anIterable
that provides the iterator returned byPaigeTarjan.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.
-