Alloy Visualizer のテーマを定義する場合、「Influence Layout」に関連するオプションがあります。通常、p->qがリレーションのエッジである場合r、レイアウトは のp上qに配置され、エッジは下をr向きます。「Influence Layout」をオフにすると、グラフ内で同じレベルをr使用できるようにpなり、 -edge が水平方向を指すようになると予想されます。しかし、これは決して起こりません。実際、「Influence Layout」チェックマークがまったく効果があることを私は観察したことがありません。それは何をするためのものか？qr