Сохранить тот же индекс в анализаторе сплавов?

#alloy #model-checking Вопрос: Я хочу выделить машины операторам. Каждая машина имеет фиксированный набор работ (например, машина 1 выполняет работу 2 и работает). Вот простой пример вывода с 2 операторами (operator1,operator0)…