通过A4Solution

Question

我目前正在我的项目中使用Alloy，我需要显示A4Solutions。我可以使用vizualiser合金提供(vizGUI)很容易地做到这一点，但它对我的目的来说有点太有限了。因此，我愿意从A4Solution对象生成我自己的图形(使用任何其他图形api )。

我能够毫无问题地获取原子(这非常简单)，但我真的看不到如何检索这些原子之间的关系。

我在网上查找了一些关于如何解析A4Solution的示例，但不幸的是什么也没有找到。

Answer 1

关系或字段，您可以从sigs中检索，然后您可以评估它们以获得具体的原子，如下所示：

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);
  }
}