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