Interface MealyActionHomeSet

    • Method Detail

      • setSM_ID

        void setSM_ID​(io.ciera.runtime.summit.types.UniqueId ref_SM_ID)
               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setTrans_ID

        void setTrans_ID​(io.ciera.runtime.summit.types.UniqueId ref_Trans_ID)
                  throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • setAct_ID

        void setAct_ID​(io.ciera.runtime.summit.types.UniqueId ref_Act_ID)
                throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R512_MealyStateMachine

        MealyStateMachineSet R512_MealyStateMachine()
                                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R512_Transition

        TransitionSet R512_Transition()
                               throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R513_is_a_ActionHome

        ActionHomeSet R513_is_a_ActionHome()
                                    throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException