О2_CP_SAT_МенеджерДоменов.Отрицание
Создаёт домен, содержащий значения с противоположным знаком относительно значений исходного домена. Вызывается через Модель.Домены().Отрицание(...).
Синтаксис
Модель.Домены().Отрицание(Домен)
Параметры
- Домен — ФиксированнаяСтруктура — домен, для которого создаётся отрицание.
Возвращаемое значение
- ФиксированнаяСтруктура — данные домена.
Описание
Если исходный домен содержит значения {v₁, v₂, …}, результирующий домен будет содержать {-v₁, -v₂, …}.
Пример
МенеджерДоменов = Модель.Домены();
// Исходный домен [1, 10], отрицание даёт [-10, -1]
ПоложительныйДомен = МенеджерДоменов.Диапазон(1, 10);
ОтрицательныйДомен = МенеджерДоменов.Отрицание(ПоложительныйДомен);
Переменная = Модель.ПеременнаяДомена(ОтрицательныйДомен);