Документация Engee

Группы операторов Конечных автоматов

Группы операторов — это условия, которые инициируют действия модели внутри состояний.

sf state 1 new

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

Группы операторов поддерживают только операции на языке Julia.

Группа Entry

Entry (вход) — используется для определения действий, которые выполняются при входе в состояние. Действия, указанные в entry, выполняются один раз, когда состояние становится активным.

Группа During

During (во время) — используется для определения действий, которые выполняются на каждом этапе шага расчета модели, если состояние активно. Действия, указанные в during, выполняются, пока состояние активно.

Группа Exit

Exit (выход) — используется для определения действий, которые выполняются при выходе из состояния. Действия, указанные в exit, выполняются один раз, когда состояние перестает быть активным.

Код в состоянии без группы операторов будет выполняться на каждом шаге модели КА, что эквивалентно одновременному использованию групп entry и during.

Вы можете использовать короткие названия для этих групп — du для during, en для entry и ex для exit соответственно. Вы также можете перечислять их через запятую:

sf x 1