从合金中减去子集

时间:2019-04-28 20:38:16

标签: set subset alloy

我正在研究合金,并使用一个非常简单的示例。我要做的是返回特定人员的阿姨的集合。我正在尝试用以下代码完成操作,但是由于我认为我不能从集合中减去一个子集而无法正常工作。我不确定自己在做什么错。

以下是“人与人”指示符的以下代码:

abstract sig Person {
    father: lone Man,
    mother: lone Woman,
    spouse: lone Person,
}

sig Man extends Person { }

以下是该函数的以下代码:

fun aunt: Person->Person{
    (parent.sibling)-Man
}

所以我想要这个函数返回的只是我的阿姨的集合,其中parent.sibling返回阿姨和叔叔的集合。我不确定我要去哪里错了,感谢所有这些谁先答复。

0 个答案:

没有答案