Я новичок в Alloy. Я пытаюсь найти решение для модели с 512 состояниями. Но у него заканчивается память. Я установил память и стек на максимальный уровень, но этого недостаточно. Есть ли другой способ увеличить объем памяти, которую использует Alloy? Я ценю ваше время и помощь. Большое спасибо, Фатхия
Проблема с памятью в Alloy
comment
Вы уверены, что пытаетесь создать только 512 состояний? Если вы опубликуете МИНИМАЛЬНЫЙ неудачный пример, мы сможем сказать.
- person user1513683   schedule 24.10.2013
Ответы (1)
Трудно понять, с чего начать. Похоже, вы пишете модель Alloy, как если бы вы ожидали, что она будет средством проверки модели. Но смысл Alloy в том, чтобы позволить вам анализировать системы, состояния которых имеют сложную структуру с ограничениями, записанными в реляционной логике. На прямом кодировании низкоуровневой модели в Alloy далеко не уедешь; для такого рода вещей вам лучше использовать средство проверки моделей.
person
Daniel Jackson
schedule
26.10.2013