【发布时间】：2021-06-26 21:14:23
【问题描述】：
我的理解是 Alloy 中的函数返回一个值。但是，我注意到您可以使用 run 命令运行函数，就像使用谓词 run 一样。运行函数是什么意思？Alloy 中如何使用此函数？
【问题讨论】：
标签： alloy
【发布时间】：2021-06-26 21:14:23
【问题描述】：
在这方面，你可以把一个函数想象成一个谓词：它是一个约束，当你运行它时，Alloy 会找到一个使约束为真的实例。在这种情况下，它将是函数的参数、签名和字段的值以及函数结果的集合。
运行一个函数，就像运行一个谓词一样，通过向您展示示例执行来让您更好地理解。把它想象成运行测试用例，但不必编写测试:-)
【讨论】：