我正在编写一个需要在模型上调用 Alloy 并在返回的实例上执行某些操作的程序。问题是每次调用Alloy命令时都会打开Alloy接口。我想知道是否无论如何我们都可以在不打开接口的情况下从 Java 代码调用 Alloy。
问问题
106 次
1 回答
0
看看一些使用 Alloy API 的示例，这些示例不调用 Alloy GUI：http ://alloy.mit.edu/alloy/alloy-api-examples.html
于 2016-04-17T18:28:23.140 回答