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

【问题标题】：How to avoid extra arrows appearing in the Alloy analyser window如何避免在合金分析仪窗口中出现额外的箭头
【发布时间】：2014-12-28 23:24:25
【问题描述】：

我在合金中有以下规格：

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箭头一样。如何避免在实例演示中出现这种箭头？有没有办法告诉实例演示器界面不显示它们？

【问题讨论】：

为什么Alloy会生成这个箭头$c1？！有什么想法吗？
$c1 是所谓的 skolem 关系。见这里：alloy.mit.edu/alloy/documentation/quickguide/skolem.html

标签： alloy

【解决方案1】：

经过一番搜索，我找到了答案：

只需在演示窗口中定义所需的主题：单击工具栏中的主题按钮，然后做任何你想做的事！在上述特定情况下，从主题窗口中箭头$c1 的“显示为弧”选项中删除勾选！

【讨论】：