Package | Description |
---|---|
net.automatalib.util.minimizer |
Modifier and Type | Method and Description |
---|---|
Block<S,L> |
MinimizationResult.getBlockForState(S origState)
Retrieves the block to which a given original state belongs.
|
Block<S,L> |
Block.getElement() |
Block<S,L> |
BlockEdge.getSource()
Retrieves the source block.
|
Block<S,L> |
BlockEdge.getTarget()
Retrieves the target block.
|
Modifier and Type | Method and Description |
---|---|
Collection<Block<S,L>> |
MinimizationResult.getBlocks()
Retrieves all blocks in the final partition.
|
Modifier and Type | Method and Description |
---|---|
V |
BlockMap.get(Block<?,?> block)
Retrieves a value.
|
BlockEdge<S,L>[] |
BlockAutomaton.getOutgoingEdgeArray(Block<S,L> block)
Retrieves an array of outgoing edges of a block (state).
|
List<BlockEdge<S,L>> |
BlockAutomaton.getOutgoingEdges(Block<S,L> block)
Retrieves a list of outgoing edges of a block (state).
|
S |
MinimizationResult.getRepresentative(Block<S,L> block)
Chooses a representative (i.e., an arbitrary element of the
set of states) from a block.
|
static <S,L> Collection<S> |
MinimizationResult.getStatesInBlock(Block<S,L> block)
Retrieves all (original) states in a block.
|
V |
BlockMap.put(Block<?,?> block,
V value)
Stores a value.
|
Copyright © 2015. All Rights Reserved.