going through an A4Solution

Question

I am currently using the Alloy api in my project, and I need to display A4Solutions.I can do that easily with the vizualiser Alloy provides (vizGUI) , but it is a bit too li

Answer 1

Relations, or fields, you can retrieve from sigs, and then you can evaluate them to obtains concrete atoms, something like this:

A4Solution sol = ...;
SafeList<Sig> sigs = sol.getAllReachableSigs();
for (Sig sig : sigs) {
  SafeList<Field> fields = sig.getFields();
  for (Field field : fields) {
    A4TupleSet ts = (A4TupleSet)(sol.eval(field));
    for(A4Tuple t: ts)
      for(int i=0; i<t.arity(); i++) 
        t.atom(i);
  }
}