البرمجة بالقيود

اتساق القوس

خاصية لرسم القيود حيث أنه لكل قيمة لمتغير، توجد قيمة متوافقة واحدة على الأقل في مجال المتغير المجاور. إنها تقنية تصفية أساسية في البرمجة بالقيود.

← رجوع