alloy

0зной

1ответ

Получение родительских объектов с функциями в сплаве

Я пытаюсь изучить сплав, но мне трудно найти правильный учебный материал. Так что я пытаюсь использовать некоторые модели самостоятельно и посмотреть, работают ли они. Я хотел найти и вернуть клиники,

1зной

1ответ

Как избежать дополнительных стрелок, появляющиеся в окне анализатора Alloy

У меня есть следующие спецификации в сплаве: sig A {} sig Q{isA: one A} fact { all c1,c2:Q | c1.isA=c2.isA => c1=c2 // injective mapping all a1:A | some c1:Q | c1.isA=a1 //surjective }

0зной

1ответ

Использование настраиваемых изображений для узлов в определении темы сплава

Интерфейс определения темы сплава позволяет назначить индивидуальное изображение для каждой подписи. Можно выбрать изображение из списка предопределенных изображений. Но, мне интересно, можно ли добав

1зной

1ответ

Ограничение простого слияния не работает должным образом

Следующая модель создает экземпляры с ровно 2 отношениями адресов, когда количество книг ограничено 1, однако, если больше книг разрешено, они будут создавать экземпляры с отношениями 0-3 адреса. Мое

1зной

1ответ

Что случилось с этим кодом сплава?

Я получаю сообщение об ошибке синтаксиса для кода ниже. Сообщение обозначает помеченную позицию в утверждении addLocal, в котором указывается: «Ошибка синтаксиса в строке 30 столбца 9: Есть 1 возможны

0зной

2ответ

включают против исключения отношения - не может моделировать прежний _properly_

Скажем, есть четыре уникальных объектов A, B, C и D. Есть также четыре уникальных коробки b1, b2, b3 и b4. Некоторые объекты из набора A, B, C, D помещаются в поле b1; полностью удален, чтобы вернуть