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).
-