О2_CP_SAT_МенеджерОграничений.ЗначениеВДомене
Устанавливает ограничение, при котором значение выражения должно принадлежать указанному домену (множеству допустимых целых чисел). Вызывается через Модель.Ограничения().ЗначениеВДомене(...).
Синтаксис
Модель.Ограничения().ЗначениеВДомене(Выражение, Домен, Условия)
Параметры
- Выражение — ФиксированнаяСтруктура, Число, Строка — проверяемое выражение (см. Менеджер выражений).
- Домен — ФиксированнаяСтруктура — домен допустимых значений (см. Менеджер доменов).
- Условия — ФиксированнаяСтруктура, Массив, Неопределено — условие применения ограничения (см. Обзор).
Возвращаемое значение
- ОбработкаОбъект.О2_CP_SAT_МенеджерОграничений — текущий менеджер ограничений.
Пример
Домен = Модель.Домены().ИзМножества(О2.Утилиты().Массив(1, 3, 5, 7, 9));
Модель.Ограничения().ЗначениеВДомене(Пx, Домен);