أنواع البحث الأربعة
الفحص يفرز كل النتائج إلى أربعة أنواع، والنوع الأول فقط يثبت أن FET لا يستطيع بناء الجدول.
تصنف معظم أدوات التحقق نتائجها حسب مدى خطورتها. هذه الأداة تصنفها حسب ما يمكنها إثباته. يعرض التقرير أربعة أنواع، دائمًا بهذا الترتيب.
كل نوع هو علامة تبويب بعدده الخاص. النوع الذي لم يجد شيئًا ليس له علامة تبويب، لذلك لن ترى واحدة فارغة.
ثبت استحالته
على الشاشة: حسابي، وليس تخمينًا.
يصل التحقق إلى كل نتيجة هنا عن طريق العد. يقارن الساعات المخصصة بالحصص المتاحة. يقلل أوقات البدء القانونية للنشاط إلى لا شيء. يجد نشاطين يجب أن يتمّا في نفس الوقت ويشتركان في مدرس.
يمكنك التصرف بناءً على هذه النتائج دون التحقق منها بنفسك. إذا ذكر التقرير أن النشاط ليس له وقت بدء قانوني، فلا يمكن للمُحلل أن يجد واحدًا أيضًا.
هذا هو عقد الأداة. لا يبلغ التحقق أبدًا عن نتيجة هنا لا يمكنه إثباتها. أداة تطلق إنذارًا كاذبًا واحدًا هي أداة تتوقف عن تصديقها.
أخطاء
على الشاشة: ربما ليس هذا ما قصدته هنا.
هذه النتائج لا توقف عملية الحل. إنها تظهر أن قواعدك تقول شيئًا ربما لم تقصده.
- قاعدة تشير إلى شيء لم يعد موجودًا.
- قاعدة تستهدف نشاطًا قمت بإيقافه.
- قاعدتان تقولان نفس الشيء تمامًا.
- لا يمكن تطبيق تفضيل مرن أبدًا، لذا يتجاهله FET.
لا شيء من هذا يجعل الجدول مستحيلاً. القواعد التي لا يفهمها أحد تسبب غموض الفصل الدراسي التالي.
ما الذي يجعل هذا الملف صعبًا
على الشاشة: هذه ليست مشكلة. إنه العمل الذي يجب على المُحلل القيام به.
لا يوجد شيء خاطئ هنا. يصف هذا النوع الضغط في ملفك. يذكر الأنشطة التي لم يتبق لها مكان تقريبًا. يذكر أجزاء الأسبوع المزدحمة.
⚠ اقرأ هذا النوع قبل أن تجعل الأسبوع أكثر إحكامًا.
يتغير العنوان لملف تم حله. ثم يصبح ما الذي جعل هذا الملف صعبًا، لأن العمل قد اكتمل.
ما الذي تم تشغيله على هذا الملف
على الشاشة: أنواع القواعد التي ندرجها ونعدها، ولا نحكم عليها أبدًا.
هذا النوع هادئ، ويقدم تقريرًا عن التحقق نفسه بدلاً من ملفك. يسرد أنواع القواعد التي عدها. يخبرك متى يوقف وضع المُحلل الخاص بك عملية التحقق من التشغيل. يخبرك متى توقف التحقق مبكرًا في ملف كبير جدًا.
اقرأ هذا النوع عندما يبدو التقرير فارغًا أكثر مما توقعت. عادة ما يفسر السبب.
علامة التبويب المفقودة ليست ضمانًا
يبلغ التحقق عما يمكنه إثباته. لا يعني ذلك أن كل شيء آخر صحيح.
عدم وجود علامة تبويب "ثبت استحالته" يعني "لم يثبت استحالة شيء". لا يعني ذلك "أن هذا سيُحل".
⚠ هذه هي أهم جملة في الصفحة، والشاشة تجعل من السهل تفويتها: علامة التبويب غائبة ببساطة، لذلك لا يوجد شيء للقراءة ولا شيء للنقر عليه. الغياب هو النتيجة الجيدة، وليس النتيجة الكاملة.
يمكن أن يكون الجدول ممكنًا حسابيًا ولا يزال يستغرق FET وقتًا طويلاً. وقد لا يزال يحتاج إلى تخفيف القواعد قبل أن يتم. انظر ما لا يمكنه إخبارك به.