Четирите вида изгледи
Проверката разпределя всяка констатация в четири вида. Само първият вид доказва, че FET не може да състави разписанието.
Повечето инструменти за проверка сортират своите открития по това колко сериозни ги намират. Този ги сортира по това, което може да докаже. Докладът показва четири вида, винаги в този ред.
Всеки вид е раздел със собствен брой. Вид, който не е открил нищо, няма раздел, така че няма да видите празен.
Доказано невъзможно
На екрана: Аритметика, не предположение.
Проверката достига до всяко откритие тук чрез преброяване. Тя сравнява ангажираните часове със свободните слотове. Тя свежда законните начални времена на дадено занятие до нула. Тя намира две занятия, които трябва да се провеждат по едно и също време и да споделят преподавател.
Можете да действате по тези открития, без да ги проверявате сами. Ако докладът казва, че дадено занятие няма законно начално време, решаващият алгоритъм също не може да намери такова.
Това е договорът на инструмента. Проверката никога не докладва откритие тук, което не може да докаже. Инструмент, който вдига една фалшива тревога, е инструмент, на който спирате да вярвате.
Грешки
На екрана: Нещо тук вероятно не е това, което сте имали предвид.
Тези открития не спират решаването. Те показват, че вашите правила казват нещо, което вероятно не сте възнамерявали.
- Правило сочи към нещо, което вече не съществува.
- Правило е насочено към занятие, което сте изключили.
- Две правила казват абсолютно едно и също нещо.
- Меко предпочитание никога не може да се приложи, така че FET го игнорира.
Никое от тези не прави разписанието невъзможно. Правила, които никой не разбира, причиняват мистерията на следващия срок.
Какво прави този файл труден
На екрана: Това не е проблем. Това е работата, която решаващият алгоритъм трябва да свърши.
Нищо тук не е грешно. Този вид описва напрежението във вашия файл. Той назовава занятията, които почти нямат останало място. Той назовава частите от седмицата, които са натоварени.
⚠ Прочетете този вид, преди да направите седмицата по-натоварена.
Заглавието се променя за решен файл. Тогава гласи Какво направи този файл труден, защото работата е завършена.
Какво е стартирано върху този файл
На екрана: Типове правила, които изброяваме и броим, никога не съдим.
Този вид е тих и докладва за самата проверка, а не за вашия файл. Той изброява типовете правила, които е преброил. Той ви казва кога вашият режим на решаване спира изпълнението на проверка. Той ви казва кога проверката е спряла рано при много голям файл.
Прочетете този вид, когато докладът изглежда по-празен, отколкото сте очаквали. Обикновено обяснява защо.
Липсващ раздел не е гаранция
Проверката докладва това, което може да докаже. От това не следва, че всичко останало е правилно.
Липсата на раздел „Доказано невъзможно“ означава „нищо не е доказано като невъзможно“. Това не означава „това ще се реши“.
⚠ Това е най-важното изречение на страницата и екранът го прави лесно за пропускане: разделът просто липсва, така че няма какво да се чете и няма какво да се щракне. Отсъствието е добрият резултат, а не пълният.
Разписанието може да е възможно аритметично и все пак да отнеме на FET много време. Все още може да се наложи правилата да бъдат облекчени, преди да се получи. Вижте Какво не може да ви каже.