合金中的“影响布局”

Question

为Alloy Visualizer定义主题时，可以选择与“影响布局”相关联。通常情况下，当p->q是关系r中的边缘时，布局会将p放在q上方，而r - 边缘指向下方。我希望关闭r的“影响力布局”会让p和q在图表中占据相同的级别，以便r - 边缘可以指向水平。但这从未发生过。实际上，我从未观察到“影响布局”复选标记有任何影响。它做了什么？