为 Alloy Visualizer 定义主题时，可以选择与“影响布局”相关的选项。通常，当p->q是关系中的边缘时r，布局p位于上方q，r边缘指向下方。我希望关闭“影响布局”r将允许p并q在图中占据相同的级别，以便r-edge 可以水平指向。但这永远不会发生。事实上，我从未观察到“影响布局”复选标记有任何效果。它有什么作用？
问问题
41 次
为 Alloy Visualizer 定义主题时，可以选择与“影响布局”相关的选项。通常，当p->q是关系中的边缘时r，布局p位于上方q，r边缘指向下方。我希望关闭“影响布局”r将允许p并q在图中占据相同的级别，以便r-edge 可以水平指向。但这永远不会发生。事实上，我从未观察到“影响布局”复选标记有任何效果。它有什么作用？