ארבעת סוגי המציאה
הבדיקה ממיינת כל ממצא לארבעה סוגים, מתוכם רק הסוג הראשון מוכיח ש-FET לא יכולה לבנות את מערכת השעות.
רוב כלי הבדיקה ממיינים את הממצאים שלהם לפי מידת חומרתם. כלי זה ממיין אותם לפי מה שהוא יכול להוכיח. הדו"ח מציג ארבעה סוגים, תמיד בסדר זה.
כל סוג הוא לשונית עם ספירה משלו. סוג שלא נמצא בו דבר אינו מופיע בלשונית, כך שלא תראו לשונית ריקה.
הוכח כבלתי אפשרי
על המסך: חישוב, לא ניחוש.
הבדיקה מגיעה לכל ממצא כאן באמצעות ספירה. היא משווה שעות מחויבות מול משבצות פנויות. היא מצמצמת את זמני ההתחלה החוקיים של פעילות לאפס. היא מוצאת שתי פעילויות שחייבות להתקיים באותו זמן ולחלוק מורה.
אתם יכולים לפעול על פי ממצאים אלה מבלי לבדוק אותם בעצמכם. אם הדו"ח מציין שלפעילות אין זמן התחלה חוקי, הפותר לא יוכל למצוא כזה גם כן.
זהו החוזה של הכלי. הבדיקה לעולם אינה מדווחת על ממצא כאן שאינה יכולה להוכיח. כלי שמפיק אזעקת שווא אחת הוא כלי שאתם מפסיקים להאמין בו.
טעויות
על המסך: משהו כאן כנראה אינו מה שהתכוונתם אליו.
ממצאים אלה אינם עוצרים פתרון. הם מראים שהכללים שלכם אומרים משהו שכנראה לא התכוונתם אליו.
- כלל מצביע על משהו שאינו קיים עוד.
- כלל מכוון לפעילות שכיביתם.
- שני כללים אומרים בדיוק את אותו הדבר.
- העדפה רכה לעולם אינה יכולה לחול, ולכן FET מתעלם ממנה.
אף אחד מאלה אינו הופך מערכת שעות לבלתי אפשרית. כללים שאף אחד לא מבין גורמים לתעלומה של הסמסטר הבא.
מה מקשה על קובץ זה
על המסך: זו אינה בעיה. זו העבודה שהפותר חייב לבצע.
שום דבר כאן אינו שגוי. סוג זה מתאר את הלחץ בקובץ שלכם. הוא מציין את הפעילויות שכמעט ולא נותר להן מקום. הוא מציין את חלקי השבוע הצפופים.
⚠ קראו סוג זה לפני שאתם מצמצמים את השבוע עוד יותר.
הכותרת משתנה עבור קובץ שנפתר. אז היא קוראת מה הקשה על קובץ זה, מכיוון שהעבודה הושלמה.
מה הופעל על קובץ זה
על המסך: סוגי כללים שאנו מפרטים וסופרים, לעולם לא שופטים.
סוג זה שקט, והוא מדווח על הבדיקה עצמה ולא על הקובץ שלכם. הוא מפרט את סוגי הכללים שנספרו. הוא אומר לכם מתי מצב הפותר שלכם עוצר בדיקה מלהתבצע. הוא אומר לכם מתי הבדיקה נעצרה מוקדם על קובץ גדול מאוד.
קראו סוג זה כאשר הדו"ח נראה ריק יותר ממה שציפיתם. הוא בדרך כלל מסביר מדוע.
לשונית חסרה אינה ערובה
הבדיקה מדווחת על מה שהיא יכולה להוכיח. מכך לא נובע שכל השאר נכון.
לשונית "הוכח כבלתי אפשרי" חסרה פירושה "שום דבר לא הוכח כבלתי אפשרי". זה לא אומר "זה ייפתר".
⚠ זהו המשפט החשוב ביותר בעמוד, והמסך מקל על הפספוס: הלשונית פשוט חסרה, כך שאין מה לקרוא ואין על מה ללחוץ. היעדרות היא התוצאה הטובה, לא המלאה.
מערכת שעות יכולה להיות אפשרית מבחינה אריתמטית ועדיין לקחת ל-FET זמן רב. היא עדיין יכולה לדרוש הקלה בכללים לפני שהיא מתקבלת. ראו מה הוא לא יכול לומר לכם.