Class Block<S,​L>

  • Type Parameters:
    S - state class.
    L - transition label class.
    All Implemented Interfaces:
    ElementReference, LinkedListEntry<Block<S,​L>,​Block<S,​L>>

    public final class Block<S,​L>
    extends AbstractBasicLinkedListEntry<Block<S,​L>,​Block<S,​L>>
    A block in the partition calculated during minimization.

    At the end of the minimization process, all states in the same block may be identified.

    • Method Detail

      • size

        public int size()
        Retrieves the size of this block, i.e., the number of states it contains.
        Returns:
        the size of this block.
      • isEmpty

        public boolean isEmpty()
        Checks whether this block is empty, i.e., contains no states.
        Returns:
        true iff the block is empty, false otherwise.
      • isSingleton

        public boolean isSingleton()
        Checks whether this block is a singleton, i.e., contains only a single state.
        Returns:
        true iff this block is a singleton, false otherwise.
      • getId

        public int getId()
        Retrieves the ID of this block.
        Returns:
        the id of this block.
      • getElement

        public Block<S,​L> getElement()
        Description copied from interface: LinkedListEntry
        Retrieves the element stored at this position in the list.
        Returns:
        the element.