我正在尝试使用 Alloy 通过其 Java API 计算原子的总序。
所以我想知道:有没有办法使用 Alloy 的 Java API 包含 util/ordering[SomeSignature] ？
在edu.mit.csail.sdg.alloy4compiler.parser.CompModule中有一个addOpen方法，但我不知道如何使用它。
谢谢。
最佳答案
我似乎找不到您在 API documentation 中提到的 addOpen 方法所以我建议你不要使用它。
是什么阻止您在解析模块之前将“util/ordering[SomeSignature]”添加到模块中？
关于java - 使用 Java API 导入 Alloy 模块，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/37520565/