Interface ACT_BRKSet

    • Method Detail

      • setStatement_ID

        void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                      throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        ACT_SMTSet R603_is_a_ACT_SMT()
                              throws io.ciera.runtime.summit.exceptions.XtumlException
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException