【发布时间】：2016-05-30 08:03:43
【问题描述】：
我正在尝试通过其 Java API 使用 Alloy 计算原子的总顺序。
所以我想知道：有没有办法使用 Alloy 的 Java API 包含 util/ordering[SomeSignature]？
在edu.mit.csail.sdg.alloy4compiler.parser.CompModule 中有一个addOpen 方法，但我不知道如何使用它。
谢谢。
【问题讨论】：
【发布时间】：2016-05-30 08:03:43
【问题描述】：
我似乎在API documentation 中找不到您所指的 addOpen 方法，所以我建议您不要使用它。
是什么阻止您在解析模块之前将“util/ordering[SomeSignature]”添加到模块中？
【讨论】：
-
我试图使用唯一的 java API（如this 示例），但似乎没有“open util/ordering[S]”指令的翻译。好吧，太糟糕了。