Home Articles

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

Asked
Viewed 1161 times
1

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

attached picture

1 Answer

  • 1

    通过一些搜索,我找到了答案:

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

    this is how to do it.

Related