爲什麼Visualizer會說每個原子都是隱藏的？

Question

下面是一個人和他們的父親的模型。我想讓合金分析儀顯示模型的一個實例。在Alloy工具中，我選擇「運行顯示」（在執行菜單中）。然後我選擇「顯示」按鈕。這裏的可視化顯示的內容：

我不知道這意味着什麼。我點擊主題，我看不出任何東西來幫助我「取消隱藏」原子。幫幫我！爲什麼展示臺展示了這一點？

sig Person {father: Person} 

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

pred Show {} 

run Show 

Answer 1

這意味着要麼在解決方案中沒有原子，要麼有一些，但是它們被主題隱藏了。在這種情況下，它似乎是一個沒有原子的例子。我們應該改正這個信息...