Class 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 Detail

      • getOutgoingEdges

        public List<BlockEdge<S,​L>> getOutgoingEdges​(Block<S,​L> block)
        Retrieves a list of outgoing edges of a block (state).
        Parameters:
        block - the block (state).
        Returns:
        the outgoing edges of the given block (state).