我正在研究合金,并使用一个非常简单的示例。我要做的是返回特定人员的阿姨的集合。我正在尝试用以下代码完成操作,但是由于我认为我不能从集合中减去一个子集而无法正常工作。我不确定自己在做什么错。
以下是“人与人”指示符的以下代码:
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返回阿姨和叔叔的集合。我不确定我要去哪里错了,感谢所有这些谁先答复。