توضیح بررسی اولیه
بررسی‌ای که قوانین شما را می‌خواند و امکان‌پذیری ساخت برنامه زمانی را تأیید می‌کند، پیش از آنکه یک شب را بیهوده صرف کنید.
FET می‌تواند زمان زیادی را صرف شکست کند. یک قانون واحد که باعث می‌شود یک کلاس قابل جایگذاری نباشد، خود را اعلام نمی‌کند — حل‌کننده صرفاً جستجو می‌کند، و جستجو می‌کند، و در نهایت تسلیم می‌شود یا چیزی تولید نمی‌کند.
بررسی پیش‌پرواز قوانین شما را می‌خواند و ابتدا محاسبات را انجام می‌دهد. در جایی که می‌تواند ثابت کند یک برنامه غیرممکن است، در عرض چند ثانیه این را می‌گوید و قوانین مسئول را نام می‌برد.
کجاست
پیش‌پرواز در کنار محدودیت‌ها در صفحه داده‌های برنامه قرار دارد. این ابزار برای افرادی که می‌توانند برنامه را ویرایش کنند در دسترس است — ابزاری است برای کسی که قوانین را می‌سازد.
هر بخش محدودیت‌ها همچنین یک خلاصه یک‌خطی در بالا دارد، بنابراین وضعیت امور را در حین کار مشاهده می‌کنید، نه فقط زمانی که به دنبال آن می‌گردید.
گزارش: یک حکم، سپس هر یافته با قوانینی که پشت آن است.
محاسبات کجا انجام می‌شود
بررسی در مرورگر شما اجرا نمی‌شود. مرورگر شما قوانین شما را می‌خواند و خلاصه‌ای را به سرور ما ارسال می‌کند. سرور ما محاسبات را انجام می‌دهد و یافته‌ها را بازمی‌گرداند.
خلاصه هیچ نامی ندارد. استادان، اتاق‌ها، درس‌ها و گروه‌های دانشجویی به صورت اعداد منتقل می‌شوند، و مرورگر شما قبل از نمایش گزارش، نام‌ها را بازمی‌گرداند.
ما چیزی از بررسی ذخیره نمی‌کنیم. بررسی هر بار که آن را باز می‌کنید، گزارش را دوباره از قوانین فعلی شما می‌سازد.
این یک نتیجه عملی دارد که ارزش دانستن دارد: آنقدر سریع است که می‌توان از آن به عنوان یک ابزار کاری استفاده کرد. یک قانون را تغییر دهید، برگردید، دوباره نگاه کنید.
در واقع چه چیزی را می‌خواند
محدودیت‌های شما، همانطور که هستند — نه یک برنامه حل‌شده. هرگز کلاسی را جایگذاری نمی‌کند و هرگز چیزی را تغییر نمی‌دهد.
کاری که انجام می‌دهد، محاسبات بر روی فضایی است که برای شما باقی مانده است:
- چند ساعت یک استاد متعهد است، در مقابل چند بازه زمانی برای او باقی مانده است.
- کدام زمان‌های شروع را یک کلاس می‌تواند به طور قانونی بگیرد، پس از اعمال هر قانونی که به آن مربوط می‌شود.
- آیا دو کلاس که هر دو باید اتفاق بیفتند، در حالی که یک استاد، یک اتاق یا یک گروه را به اشتراک می‌گذارند، مجبور به قرار گرفتن در یک بازه زمانی می‌شوند.
- آیا گروهی از کلاس‌ها به روزهای متمایز بیشتری نسبت به آنچه هفته شامل می‌شود، نیاز دارد.
وقتی محاسبات هیچ فضایی باقی نمی‌گذارد، این یک نظر در مورد دشواری نیست. این یک اثبات است، و بررسی این را می‌گوید.
با آن چه کنیم
آن را قبل از ارسال یک پروژه به FET اجرا کنید، و دوباره پس از یک تغییر بزرگ. یک گزارش تمیز تضمینی نیست که FET به سرعت حل کند — به آنچه نمی‌تواند به شما بگوید مراجعه کنید — اما گزارشی با یافته‌ای که ثابت شده غیرممکن است، به شما می‌گوید که حل موفق نخواهد شد، که دانستن آن قبل از وقوع بهتر از بعد از آن است.
گزارش در چهار بخش است
گزارش یافته‌ها را بر اساس میزان جدی بودنشان درجه‌بندی نمی‌کند. آن را بر اساس آنچه می‌تواند ثابت کند، به چهار نوع دسته‌بندی می‌کند: غیرممکن اثبات‌شده، اشتباهات، آنچه این فایل را دشوار می‌کند، و آنچه روی این فایل اجرا شد.
هر نوع یک برگه است، و هر برگه شمارش مخصوص به خود را دارد. نوعی که چیزی در آن نیست، هیچ برگه‌ای ندارد، بنابراین یک فایل آرام برگه‌های کمتری نسبت به یک فایل شلوغ نشان می‌دهد. اولین برگه که چیزی در آن است، خود به خود باز می‌شود.
گروهی با یافته‌های زیاد، آن‌ها را به صورت یک لیست نشان می‌دهد نه به صورت کارت. یک ردیف را انتخاب کنید تا محاسبات پشت آن را در کنار لیست ببینید.
فقط نوع اول ثابت می‌کند که FET نمی‌تواند برنامه را بسازد. به چهار نوع یافته مراجعه کنید.
ارتباطات
ارتباطات به یک سوال متفاوت پاسخ می‌دهد: نه چه چیزی اشتباه است، بلکه چه چیزی به این استاد متصل است.
یک استاد، یک گروه دانشجویی یا یک اتاق را انتخاب کنید. فعالیت‌های آن‌ها، قوانینی که نام آن‌ها را می‌برند، منابعی که یک اتاق یا یک بازه زمانی را با آن‌ها به اشتراک می‌گذارند، و تصویری از آن پیوندها را دریافت می‌کنید. هر گره‌ای را در تصویر انتخاب کنید تا نما به آن منتقل شود.
رنگ یک گره نشان می‌دهد که چیست — یک استاد، یک گروه دانشجویی، یک اتاق یا یک قانون. یک حلقه دور یک گره می‌گوید که بررسی چیزی در مورد آن پیدا کرده است. یک حلقه قرمز جامد نشان‌دهنده خطا است. یک حلقه کهربایی شکسته نشان‌دهنده هشدار است. بیشتر فایل‌ها هیچ حلقه‌ای ندارند، و این وضعیت عادی است.
یک خط خاکستری شکسته بین دو قانون به این معنی است که آن‌ها دو بار یک چیز را می‌گویند.
موجودیت‌هایی که چیزی به آن‌ها متصل نیست، تا زمانی که آن‌ها را درخواست نکنید، پنهان هستند، زیرا یک فایل بزرگ بسیاری را اعلام می‌کند که هیچ فعالیتی ندارند.
به کجا برویم
- چهار نوع یافته — هر نوع در واقع چه چیزی را وعده می‌دهد.
- رفع آنچه پیدا می‌کند
- آنچه نمی‌تواند به شما بگوید