анализатор сплава не выполнил мою команду запуска точно

Question

мой код такой:

но когда я выполню это, он покажет мне только один дом и один мохр. что мне делать ???

abstract one sig board{}
sig mohre {live:one  state }
sig house extends board{ver:one Int,hor:one Int,mo: mohre }
enum state{alive,dead}
run{#house>10 and #mohre>8}

Answer 1

Ваш run не указывает область действия . Объем по умолчанию составляет 3 атома каждого sig и 16 целых чисел ([-8..7]).

Таким образом, количество кардинальных единиц в США 10 исчезнет, ​​если scope . В основном эти модели находятся на земле ляля. Если вы уменьшите количество элементов или увеличите объем, все должно работать.

   run{#house>10 and #mohre>8} for 12 but 5 int

Эта команда допускает 12 атомов всех типов и имеет 32 целых числа. Как ни странно, целые числа определяются их битной шириной , а 5 битов дают 32 значения.

Кроме того, вы накладываете ограничение на abstract sig one board. Удалите one, поскольку это предотвращает решение с более чем одним домом.