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