О2_CP_SAT_МенеджерПеременных.ДобавитьСловарь
Создаёт и регистрирует в модели сопоставление (словарь), при котором каждому значению указанной переменной однозначно соответствует булева переменная с соответствующим индексом. Основной способ вызова — через Модель.Переменные().ДобавитьСловарь(...).
Синтаксис
Модель.Переменные().ДобавитьСловарь(Переменная, БулевыПеременные, Смещение)
Параметры
- Переменная — ФиксированнаяСтруктура — переменная модели, значения которой сопоставляются.
- БулевыПеременные — Массив из ФиксированнаяСтруктура — булевы переменные, соответствующие значениям основной переменной.
- Смещение — Число — целое число, соответствующее смещению индекса. По умолчанию
0.
Возвращаемое значение
- ФиксированнаяСтруктура — данные зарегистрированного словаря.
Описание
При Смещении = 0 выполняется утверждение: если Переменная = Индекс, то БулевыПеременные[Индекс] = Истина — и наоборот. При указании смещения: если Переменная = Индекс + Смещение, то БулевыПеременные[Индекс] = Истина.
Пример
Выбор = Модель.Переменные().ДобавитьИзДиапазона(0, 2, "выбор");
Флаги = Модель.Переменные().ДобавитьМассивБулевых(3, "флаг");
Модель.Переменные().ДобавитьСловарь(Выбор, Флаги);
// Теперь: флаг_0=1 ↔ выбор=0; флаг_1=1 ↔ выбор=1; флаг_2=1 ↔ выбор=2