Alloy 6中空sig实例无法可视化显示的问题求助

实用排查与修复步骤 #

• 重置可视化主题到默认：在可视化界面顶部工具栏找到「Theme」按钮，选择「Reset to Default」，这会清除所有自定义隐藏规则，大概率能恢复原子显示。
• 检查全局隐藏设置：点击「Theme」后选择「Edit Theme」，切换到「Global Settings」标签，确认「Hide unconnected nodes」选项未被勾选——即使没针对单个sig设置，全局选项可能被误开启。
• 强制生成非空实例：你的代码没有约束，Alloy可能生成空实例（无Member和Tool原子）。添加简单约束确保实例包含原子：

  sig Member {}
  sig Tool {}
  // 强制生成至少一个Member和一个Tool
  fact { some Member && some Tool }
  

  重新运行分析，此时应该能看到可视化的原子。

针对Alloy 6早期版本的适配提示 #

你使用的Alloy 6版本（2021-11-19T05:45:51.188Z）属于早期发布版，主题逻辑存在一些差异：

• 优先使用默认主题：早期版本自定义主题容易出现全局规则覆盖单个sig设置的问题，用默认主题完成基础示例更稳妥。
• 手动指定实例范围：运行分析时，通过「Options」把「Scope」设为2及以上，确保Alloy生成包含原子的实例。

内容的提问来源于stack exchange，提问作者Paul Snively