为什么 Visualizer 说每个原子都被隐藏了？

Question

下面是人和他们父亲的模型。我希望 Alloy 分析器显示模型的实例。在 Alloy 工具中 I select "Run Show"（在执行菜单中）。然后我 select "Show" 按钮。这是展示台显示的内容：

我不知道那是什么意思。我点击了主题，但没有看到任何可以帮助我 "unhide" 原子的东西。帮助！为什么展示台会显示这个？

sig Person {father: Person}

fact {
    no p: Person | p in p.^father
}

pred Show {}

run Show

Answer 1

这意味着解决方案中没有原子，或者你有一些但它们被主题隐藏了。在这种情况下，实例似乎是一个没有原子的实例。我们应该更正该消息...

Answer 2

我对此感到困惑，然后我点击了 "Magic Layout" 按钮，看到了一些项目。我认为默认值 "Theme settings" 允许所有项目不显示 window，并且 "Magic Layout" 更正了这一点。