【问题标题】:How do I transform/operate on a set/sequence?我如何对集合/序列进行转换/操作?
【发布时间】:2020-02-05 14:24:34
【问题描述】:

我有一套S = { 1, 2, 3, 4, 5 }

通过对其应用数学运算来更改集合内容(或者更确切地说,创建一个新集合)的语法是什么,例如乘法,幂?

【问题讨论】:

    标签: vdm++ vdm-sl


    【解决方案1】:

    这听起来像是集合理解的一个案例。因此,您为 s 中与谓词 p(e) 匹配的那些元素生成 f(e)。一般语法是:

    { f(s) | e in set S & p(e) }
    

    例如:

    { e*e | e in set {1,2,3,4,5,6} & e mod 2 = 0 } = {4, 16, 36}
    

    在更复杂的情况下,您从集合中绑定多个元素,但这足以满足您的示例:)

    【讨论】:

      猜你喜欢
      • 2020-04-21
      • 2016-07-14
      • 1970-01-01
      • 2017-08-14
      • 2017-08-29
      • 2011-04-04
      • 2011-02-10
      • 2012-06-03
      相关资源
      最近更新 更多