Interface DeleteSet

All Superinterfaces:
Collection<Delete>, io.ciera.runtime.summit.classes.IInstanceSet<DeleteSet,Delete>, io.ciera.runtime.summit.types.ISet<Delete>, Iterable<Delete>, io.ciera.runtime.summit.types.IXtumlType, Set<Delete>
All Known Implementing Classes:
DeleteSetImpl

public interface DeleteSet extends io.ciera.runtime.summit.classes.IInstanceSet<DeleteSet,Delete>
  • Method Details

    • setVar_ID

      void setVar_ID(io.ciera.runtime.summit.types.UniqueId ref_Var_ID) throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException
    • 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
    • R634_destroys_V_VAR

      V_VARSet R634_destroys_V_VAR() throws io.ciera.runtime.summit.exceptions.XtumlException
      Throws:
      io.ciera.runtime.summit.exceptions.XtumlException