如何将Alloy解决方案存储到所需的数据结构中？

Question

我构建了一个Alloy模型，它成功枚举了我想要的所有解决方案。每个解决方案都是A4Solution对象。

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

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

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

我的问题是A4Solution对象非常复杂，我如何解析对象并将生成的字段存储到上面的POJO中？

由于

Answer 1

有关如何遍历A4Solution实例并从中提取原子值的示例，请参阅this post。