Программирование в ограничениях

Прямая проверка

Техника упреждающего отсечения, которая при назначении переменной немедленно проверяет и корректирует домены еще не назначенных переменных.

← Назад