Как узнать, когда оператор точки используется для ссылки на поле или для реляционного объединения в Alloy?
Меня смущает оператор точки в Alloy (формальный язык моделирования). Иногда кажется, что когда я выполняю реляционное соединение, я получаю ожидаемый результат, однако иногда я чувствую, что оно используется только для доступа к полю sig, и реляционное соединение не будет работать / просто даст пустой набор.
Спасибо кевин
1 ответ
На этот вопрос уже ответили здесь: реляционное соединение и операторы в Alloy
Если после прочтения указанных ссылок у вас все еще возникают трудности с пониманием того, как соединения точек работают на конкретном примере, измените свой вопрос, включив в него упомянутый пример, чтобы мы могли помочь вам выяснить их поведение.