Interface Decomposable.DecomposeAutomaton

All Superinterfaces:
Decomposable
Enclosing interface:
Decomposable

public static interface Decomposable.DecomposeAutomaton extends Decomposable
The Decomposable.DecomposeAutomaton interface defines those methods related to the decompose life-cycle.
  • Method Details

    • isDecomposable

      boolean isDecomposable()
      Determines whether the component may get decomposed.
      Returns:
      True if Decomposable.decompose() is possible.
    • isDecomposed

      boolean isDecomposed()
      Determines whether the component is decomposed.
      Returns:
      True in case of being decomposed, else false.