Class BlockEdge<S,​L>

  • Type Parameters:
    S - state class.
    L - transition label class.

    public class BlockEdge<S,​L>
    extends Object
    An edge in a BlockAutomaton.
    • Method Detail

      • getSource

        public Block<S,​L> getSource()
        Retrieves the source block.
        Returns:
        the source block.
      • getTarget

        public Block<S,​L> getTarget()
        Retrieves the target block.
        Returns:
        the target block.
      • getLabel

        public L getLabel()
        Retrieves the transition label.
        Returns:
        the transition label.