constraint propagation

Определение

Механизм, при котором выполнение одного ограничения автоматически активирует проверку других, обеспечивая согласованность системы ограничений.