获取具有合金函数的父对象

Question

我正在努力学习合金，但我很难找到合适的学习材料。 所以我自己尝试一些模型，看看它们是否有效。

我想找到并返回包含给定医生的诊所但该功能无效。如何在不改变诊所和医生的情况下做到这一点？

abstract sig Clinic {
    doctors : set Doctor
}
abstract sig Doctor {}

fun getClinicsOfDoctor [ d : Doctor ] : set Clinic {
    all c : Clinic | d in c.doctors
}

Answer 1

你看过什么材料？试试Alloy book。另请参阅Alloy website上的教程和论文。

你的模型出了什么问题，你的功能主体是一个公式。它应该是一个表达式。以下任何一种都可以使用

doctors.d
d.~doctors
{c: Clinic | d in c.doctors}