"Макет влияния" в сплаве
При определении темы для Alloy Visualizer есть опция для связи с "Layout Layout". Обычно, когда p->q это край в отношении r, расположение мест p выше qс r-конец, направленный вниз. Я ожидал бы, что отключение "Влияния" для r позволит p а также q занимать тот же уровень на графике, так что rКрай может указывать горизонтально. Но этого никогда не происходит. На самом деле, я никогда не видел, чтобы флажок "Схема влияния" вообще имел какой-либо эффект. Что оно делает?