Package net.automatalib.util.minimizer
Class BlockAutomaton<S,L>
- java.lang.Object
-
- net.automatalib.util.minimizer.BlockAutomaton<S,L>
-
- Type Parameters:
S
- state class.L
- transition label class.
public class BlockAutomaton<S,L> extends Object
A "block automaton", i.e. an automaton-style representation of the minimization result in which each block forms a state.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BlockEdge<S,L>[]
getOutgoingEdgeArray(Block<S,L> block)
Retrieves an array of outgoing edges of a block (state).List<BlockEdge<S,L>>
getOutgoingEdges(Block<S,L> block)
Retrieves a list of outgoing edges of a block (state).
-