Class ACT_CONSetImpl

    • Constructor Detail

      • ACT_CONSetImpl

        public ACT_CONSetImpl()
    • 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_CONSet
        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_CONSet
        Throws:
        io.ciera.runtime.summit.exceptions.XtumlException
      • nullElement

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

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

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