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

Question

以下是一个人及其父亲的模型。我希望Alloy Analyzer显示模型的实例。在Alloy工具中，我选择“Run Show”（在Execute菜单中）。然后我选择“显示”按钮。以下是Visualizer显示的内容：

我不知道这意味着什么。我点击了主题，我什么都没看到帮助我“取消隐藏”原子。救命！为什么Visualizer会显示这个？

{{1}}

Answer 1

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

Answer 2

对此我感到困惑，然后我点击了“ Magic Layout”按钮并看到了一些项目。我认为默认的“主题设置”允许所有项目都在查看窗口之外，并且“魔术布局”可以更正此问题。