О2_CP_SAT_МенеджерПеременных.Отрицание
Инвертирует указанное булево значение. Основной способ вызова — через Модель.Переменные().Отрицание(...).
Синтаксис
Модель.Переменные().Отрицание(Значение)
Параметры
- Значение — ФиксированнаяСтруктура, Булево — значение для инвертирования. Допускаются:
- булевы переменные (см. ДобавитьБулеву);
- булевы константы (см. ЗначениеИстина, ЗначениеЛожь);
- отрицание перечисленных выше значений.
Возвращаемое значение
- ФиксированнаяСтруктура — данные инвертированного булева выражения.
Пример
ОборудованиеИспользуется = Модель.Переменные().ДобавитьБулеву("ОИ");
ОборудованиеНеИспользуется = Модель.Переменные().Отрицание(ОборудованиеИспользуется);
Модель.Ограничения().Соотношение("x <= 10", ОборудованиеИспользуется);
Модель.Ограничения().Соотношение("x = 0", ОборудованиеНеИспользуется);