alloy - 打开位于不同文件夹中的模块

标签 alloy

我的问题很微不足道,但我找不到解决方案。

我尝试使用以下形式的命令打开模块:open ../folder/module,但这会导致语法错误。 如何纠正这个问题?

ps:这两个模块必须位于单独的文件夹中,并且这些文件夹必须是“兄弟文件夹”(一个不能包含在另一个文件夹中)

感谢和干杯!

最佳答案

这些幻灯片的内容帮助我解决了这个问题。

http://homepage.divms.uiowa.edu/~tinelli/181/Notes/05-alloy-modules.pdf

干杯

关于alloy - 打开位于不同文件夹中的模块,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16964700/

相关文章:

alloy - 无法被斯科勒化的高阶量化

alloy - 用合金制作井字棋模型

alloy - 如何在 Alloy API 中实现以下 Alloy 模型?

alloy - 如何使用Alloy查找软件架构中的故障

alloy - 在 Alloy 中分发代币

合金教程,断开连接的文件系统?

java - 在 MacOS 上的 IDEA 中运行 bnd 结构的应用程序 : Unresolved requirement: Import-Package: com. apple.eawt

alloy - 为什么基数约束在运行命令中起作用但在事实中不起作用?

java - Alloy - 从 .als 生成 .xml 实例

java - Alloy 中的 A4options.symmetry 和签名实例排列