پرونده:Backjump-variables-1.svg

پروندهٔ اصلی(پروندهٔ اس‌وی‌جی، با ابعاد ۱۴۴ × ۱۲۶ پیکسل، اندازهٔ پرونده: ۷ کیلوبایت)

خلاصه

توضیح An example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which the value of x4 is actually irrelevant
تاریخ ‏۸ فوریهٔ ۲۰۰۶‏ (تاریخ اصلی بارگذاری)
منبع No machine-readable source provided. Own work assumed (based on copyright claims).
پدیدآور No machine-readable author provided. Tizio assumed (based on copyright claims).

اجازه‌نامه

Public domain من، دارنده حق تکثیر این اثر، این اثر را به مالکیت عمومی منتشر می‌کنم. این قابل اجرا در تمام نقاط جهان است.
در برخی از کشورها ممکن است به صورت قانونی این امکان‌پذیر نباشد؛ اگر چنین است:
من اجازهٔ استفاده از این اثر را برای هر مقصودی، بدون هیچ‌گونه شرایطی می‌دهم، تا وقتی که این شرایط توسط قانون مستلزم نشده باشد.

عنوان

شرحی یک‌خطی از محتوای این فایل اضافه کنید

آیتم‌هایی که در این پرونده نمایش داده شده‌اند

توصیف‌ها

checksum انگلیسی

5eb321f2ed167f064f63ce8fd1fa7e4b35487711

۶٬۸۸۲ بایت

۱۲۶ پیکسل

۱۴۴ پیکسل

تاریخچهٔ پرونده

روی تاریخ/زمان‌ها کلیک کنید تا نسخهٔ مربوط به آن هنگام را ببینید.

تاریخ/زمانبندانگشتیابعادکاربرتوضیح
کنونی‏۸ فوریهٔ ۲۰۰۶، ساعت ۲۰:۲۲تصویر بندانگشتی از نسخهٔ مورخ ‏۸ فوریهٔ ۲۰۰۶، ساعت ۲۰:۲۲۱۴۴ در ۱۲۶ (۷ کیلوبایت)TizioWhite background
‏۸ فوریهٔ ۲۰۰۶، ساعت ۱۴:۱۳تصویر بندانگشتی از نسخهٔ مورخ ‏۸ فوریهٔ ۲۰۰۶، ساعت ۱۴:۱۳۱۲۶ در ۱۱۷ (۷ کیلوبایت)TizioAn example of backjumping: in this case, all assignments to x5 have been proved inconsistent with the current value of x1..x4. Normally, backtracking would change the value of x4. The next image Image:Backjump-variables-2.svg shows the case in which

صفحهٔ زیر از این تصویر استفاده می‌کند:

کاربرد سراسری پرونده

ویکی‌های دیگر زیر از این پرونده استفاده می‌کنند: