О2_CP_SAT_МенеджерОграничений.ВсеРазличные
Устанавливает ограничение, при котором все указанные линейные выражения принимают попарно различные значения. Метод О2_CP_SAT_МенеджерОграничений, получаемого через Модель.Ограничения().
Синтаксис
Модель.Ограничения().ВсеРазличные(Выражения, Условия)
Параметры
- Выражения — Массив из (ФиксированнаяСтруктура, Число, Строка) — список линейных выражений (см. Менеджер выражений).
- Условия — ФиксированнаяСтруктура, Массив, Неопределено — условие применения ограничения (см. Обзор).
Возвращаемое значение
- ОбработкаОбъект.О2_CP_SAT_МенеджерОграничений — текущий менеджер ограничений.
Пример
Пx = Модель.Переменная("x");
Пy = Модель.Переменная("y");
Пz = Модель.Переменная("z");
Модель.Ограничения().ВсеРазличные(О2.Утилиты().Массив(Пx, Пy, Пz));