alloy - 提取集合中具有特定属性的所有元素（与特定值相关）

Question

我正在尝试编写一个 Alloy 函数来检索与函数参数相关的某种类型的所有元素（让我说，它们的“字段/属性”之一具有该值）。我尝试了各种方法，但都没有奏效。

有点像

fun get[a:A] : set X{
    (x.name :> a)
}

但这会返回一组 A 而我想要一组 X

标签： alloy

Answer 1

这有效，希望对某人有用：

fun get[a:A] : set X{
    ((X <: name) :> a).A
}