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