谁能告诉我如何使用 Alloy 中的函数输出二元关系?例如,学生与老师链接,学生也与课程链接。如何将学生作为输入,然后输出教师与课程之间的二元关系?
问问题
2348 次
1 回答
4
像这样的东西?
sig Course {}
sig Teacher {}
sig Student {
teacher: one Teacher,
course: some Course
}
fun binrel [s: Student]: Teacher -> Course {
s.teacher -> s.course
}
run {
some s: Student | (#binrel[s] > 2)
}
从函数返回二元关系没有特殊规则。我假设您的问题更多关于关系乘积运算符 ( ->
),在这种情况下您需要使用它来从两个标量(或两个一元关系)构造二元关系
于 2013-03-10T19:40:32.890 回答