О2_CP_SAT_МенеджерОграничений.Следствие
Устанавливает ограничение импликации: если Причина = Истина, то Следствие = Истина (Причина ⇒ Следствие). Обратное не требуется. Вызывается через Модель.Ограничения().Следствие(...).
Синтаксис
Модель.Ограничения().Следствие(Причина, Следствие, Условия)
Параметры
- Причина — ФиксированнаяСтруктура — булево выражение-причина.
- Следствие — ФиксированнаяСтруктура — булево выражение-следствие.
- Условия — ФиксированнаяСтруктура, Массив, Неопределено — условие применения ограничения (см. Обзор).
Возвращаемое значение
- ОбработкаОбъект.О2_CP_SAT_МенеджерОграничений — текущий менеджер ограничений.
Пример
// Если задача A выполняется, то задача B тоже должна выполняться
Модель.Ограничения().Следствие(ВыполняетсяA, ВыполняетсяB);