Class MmuProgram


  • public final class MmuProgram
    extends java.lang.Object
    MmuProgram represents a system of transitions.
    • Method Detail

      • isAtomic

        public boolean isAtomic()
      • getStatements

        public java.util.List<java.util.Collection<MmuProgram>> getStatements()
      • getTransitions

        public java.util.Collection<MmuTransition> getTransitions()
      • getLabel

        public java.lang.Object getLabel()
      • setLabel

        public void setLabel​(java.lang.Object label)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object