Менеджер доменов
Менеджер доменов О2_CP_SAT_МенеджерДоменов предоставляет методы описания множеств допустимых целочисленных значений для переменных модели ограничений. Корректное задание домена сужает пространство поиска в соответствии с ограничениями предметной области и непосредственно влияет на производительность поиска решения.
Ссылка на менеджер возвращается методом Домены() объекта модели:
МенеджерДоменов = Модель.Домены();
Возвращаемые методами менеджера значения представляют собой неизменяемые структуры, передаваемые в качестве параметра при создании переменной модели.
Методы
- Модель
- Пустой
- ВсеЗначения
- Диапазон
- СписокДиапазонов
- ОдноЗначение
- СписокЗначений
- Объединение
- Сложение
- Пересечение
- Дополнение
- Отрицание
См. также
- Объект модели
- Менеджер выражений
- Менеджер ограничений
- Константы — границы
ЛеваяГраницаInt64/ПраваяГраницаInt64