О2_CP_SAT_МенеджерОграничений.ПереходСостояния
Создаёт объект перехода конечного автомата, описывающего разрешённый переход из одного состояния в другое. Переходу назначается номер, уникальный относительно начального состояния. Вызывается через Модель.Ограничения().ПереходСостояния(...).
Синтаксис
Модель.Ограничения().ПереходСостояния(НачальноеСостояние, КонечноеСостояние, Номер)
Параметры
- НачальноеСостояние — Число — номер начального состояния. Должен быть целым числом.
- КонечноеСостояние — Число — номер конечного состояния. Должен быть целым числом.
- Номер — Число — номер перехода (уникален в рамках одного начального состояния). Должен быть целым числом.
Возвращаемое значение
- ФиксированнаяСтруктура — данные созданного перехода состояния.