如何避免在合金分析器窗口中出现额外的箭头

Question

我在Alloy中有以下规范：

sig A {}
sig Q{isA: one A}

fact {
    all c1,c2:Q | c1.isA=c2.isA  => c1=c2   // injective mapping
    all a1:A | some c1:Q | c1.isA=a1   //surjective 

}
run {} for 4 

当我生成此规范的实例时，在图片中$c1箭头下方的实例演示中会出现一个额外的箭头。如何在实例演示中避免出现这种箭头？有没有办法告诉实例演示器界面不显示它们？

Answer 1

通过一些搜索，我找到了答案：

只需在演示窗口中定义所需的主题：单击工具栏中的主题按钮，然后执行您想要的任何操作！在上面的特定情况下，从主题窗口中的箭头$c1的“show as arcs”选项中删除勾号！