0

我建立了一个合金模型,它成功地列举了我想要的所有解决方案。每个解决方案都是一个 A4Solution 对象。

每个实例的输出应该是一个简单的 Java POJO 对象,如下例所示:

Class POJO {
int a;
int b;
String c;
boolean d;
}

我的 Alloy 模型基本上生成了上述 4 个字段的所有可能组合。

我的问题是 A4Solution 对象很复杂,如何解析对象并将生成的字段存储到上面的 POJO 中?

谢谢

4

1 回答 1

1

有关如何迭代实例并从中提取原子值的示例,请参见这篇文章。A4Solution

于 2013-09-05T20:06:46.150 回答