Class ACT_BRKSetImpl

    • Constructor Detail

      • ACT_BRKSetImpl

        public ACT_BRKSetImpl()
    • Method Detail

      • setStatement_ID

        public void setStatement_ID​(io.ciera.runtime.summit.types.UniqueId ref_Statement_ID)
                             throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        setStatement_ID in interface ACT_BRKSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • R603_is_a_ACT_SMT

        public ACT_SMTSet R603_is_a_ACT_SMT()
                                     throws io.ciera.runtime.summit.exceptions.XtumlException
        Specified by:
        R603_is_a_ACT_SMT in interface ACT_BRKSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

        public ACT_BRK nullElement()
        Specified by:
        nullElement in interface io.ciera.runtime.summit.types.ISet<ACT_BRK>
      • emptySet

        public ACT_BRKSet emptySet()
        Specified by:
        emptySet in interface io.ciera.runtime.summit.types.ISet<ACT_BRK>
      • elements

        public List<ACT_BRK> elements()
        Specified by:
        elements in interface io.ciera.runtime.summit.types.ISet<ACT_BRK>