How to store the Alloy solution into a desired Data structure?

Question

I built an Alloy model and it successfully enumerated all the solutions I want. Each solution is a A4Solution object.

The output of each instance should be a simple Java POJO object, like the example below:

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

My Alloy model basically generated all the possible combinations of the above 4 fields.

My question is that the A4Solution object is very complicated, how can I parse the object and store the generated fields into the POJO above?

Thanks

Answer 1

See this post for an example of how to iterate through an instance of A4Solution and extract atom values from it.