"run" Alloy 中的函数是什么意思？
What does it mean to "run" a function in Alloy?
我的理解是函数在Alloyreturn一个值。但是，我注意到您可以使用 run 命令 运行 函数，就像 run 谓词一样。 运行ning 函数是什么意思，这个功能在 Alloy 中是如何使用的？
在这方面，您可以将函数视为就像一个谓词：它是一个约束，当您 运行 它时， Alloy 会找到一个使约束为真的实例。在这种情况下，它将是函数参数、签名和字段的值以及函数结果的集合。
运行 使用函数，如 运行ning 谓词，通过向您展示示例执行来让您更好地理解。将其视为 运行ning 测试用例，但无需编写测试:-)
我的理解是函数在Alloyreturn一个值。但是，我注意到您可以使用 run 命令 运行 函数，就像 run 谓词一样。 运行ning 函数是什么意思，这个功能在 Alloy 中是如何使用的？
在这方面，您可以将函数视为就像一个谓词：它是一个约束，当您 运行 它时， Alloy 会找到一个使约束为真的实例。在这种情况下，它将是函数参数、签名和字段的值以及函数结果的集合。
运行 使用函数，如 运行ning 谓词，通过向您展示示例执行来让您更好地理解。将其视为 运行ning 测试用例，但无需编写测试:-)