alloy

    0зной

    1ответ

    Я смоделировал свой проект в сплаве, и хочу отделить часть запуска от смоделированной части моего проекта. В некотором факте и предикате я использую функцию add в сравнении мощности. Вот пример: #rela

    1зной

    2ответ

    Предположим, у вас есть базовая система лифта, определенная в сплаве ... У вас есть набор этажей и набор людей, ожидающих лифта на каждом этаже. Вы работаете с государством, чтобы показать прогресс, д

    3зной

    1ответ

    Метод CompUtil.parseOneExpression_fromString дает следующее сообщение об ошибке: Названия «Atom $ 0» не может быть найдено, когда строка разобрана содержит выражение, содержащее метку атома непосредст

    3зной

    1ответ

    Мне нужно создать случайные экземпляры .xml из .als в моей программе. Мне удалось это сделать, запустив сплав в фоновом режиме (невидимый JFrame) и вызвав функции doOpen, doExecuteLatest и doShowLates