alloy - 在 Alloy 中“运行”一个函数是什么意思?
问题描述
我的理解是合金中的函数返回一个值。但是,我注意到您可以像使用谓词run
一样使用命令运行函数。run
运行一个函数是什么意思,这个函数在 Alloy 中是如何使用的?
解决方案
在这方面,您可以将函数视为就像一个谓词:它是一个约束,当您运行它时,Alloy 会找到一个使约束为真的实例。在这种情况下,它将是函数的参数、签名和字段的值以及函数结果的集合。
运行一个函数,就像运行一个谓词一样,通过向您展示示例执行来让您更好地理解。把它想象成运行测试用例,但不必编写测试:-)
推荐阅读
- java - Jetty 服务器为 REST 调用抛出空闲超时
- python-3.x - FastAPI 引发缺少位置参数错误
- c# - dotnet restore 无法从 dockerfile 内部工作
- python - “此套接字已被另一个 greenlet 使用”使用 locust 将响应时间报告到石墨中
- vulkan - 使用 VK_KHR_swapchain_mutable_format 的 Vulkan 交换链格式 UNORM 到 SRGB?
- python - Python:使用 PYAD 通过 Active Directory 对用户进行身份验证
- mysql - 从单独的表中查找 (UNIQUE VALUE, VALUE1, VALUE2) 的值
- javascript - 文本文件中的增量 ID - Node js
- tomcat - 在具有单独 tomcat 的 2 个实例中运行相同的 Web 应用程序
- spring-boot - 无法使用全局引用的标识符运行 springboot junit 测试