Четирите видови на наоѓање
Проверката ги подредува сите наоди во четири вида, при што само првиот вид докажува дека FET не може да го изгради распоредот.
Повеќето алатки за проверка ги подредуваат своите наоди според тоа колку се сериозни. Оваа ги подредува според она што може да го докаже. Извештајот покажува четири вида, секогаш по овој редослед.
Секој вид е таб со сопствен број. Вид што не пронашол ништо нема таб, така што нема да видите празен.
Докажано невозможно
На екран: Аритметика, не претпоставка.
Проверката доаѓа до секој наод овде со броење. Споредува посветени часови со слободни термини. Ги сведува легалните почетни времиња на активност на нула. Наоѓа две активности кои мора да се одвиваат истовремено и да делат професор.
Можете да постапите по овие наоди без сами да ги проверувате. Ако извештајот вели дека некоја активност нема легално почетно време, решавачот исто така не може да најде.
Ова е договорот на алатката. Проверката никогаш не пријавува наод овде што не може да го докаже. Алатка која покренува една лажна тревога е алатка во која престанувате да верувате.
Грешки
На екран: Нешто овде веројатно не е она што сте го мислеле.
Овие наоди не го запираат решавањето. Тие покажуваат дека вашите правила кажуваат нешто што веројатно не сте го намериле.
- Правило покажува кон нешто што повеќе не постои.
- Правило таргетира активност што сте ја исклучиле.
- Две правила кажуваат сосема иста работа.
- Мека преференца никогаш не може да се примени, па FET ја игнорира.
Ниту едно од овие не го прави распоредот невозможен. Правилата што никој не ги разбира предизвикуваат мистерија за следниот семестар.
Што го прави овој фајл тежок
На екран: Ова не е проблем. Тоа е работата што решавачот мора да ја заврши.
Ништо овде не е погрешно. Овој вид го опишува притисокот во вашиот фајл. Ги именува активностите кои речиси немаат преостанат простор. Ги именува деловите од неделата кои се тесни.
⚠ Прочитајте го овој вид пред да ја направите неделата потесна.
Насловот се менува за решен фајл. Потоа гласи Што го направи овој фајл тежок, бидејќи работата е завршена.
Што се изврши на овој фајл
На екран: Видови правила што ги набројуваме и броиме, никогаш не ги судиме.
Овој вид е тивок и известува за самата проверка, а не за вашиот фајл. Ги набројува видовите правила што ги изброил. Ви кажува кога вашиот режим на решавач ја запира проверката од извршување. Ви кажува кога проверката запрела рано на многу голем фајл.
Прочитајте го овој вид кога извештајот изгледа попразен отколку што очекувавте. Обично објаснува зошто.
Таб што недостасува не е гаранција
Проверката известува што може да докаже. Од тоа не произлегува дека сè друго е точно.
Таб „Докажано невозможно“ што недостасува значи „ништо не е докажано невозможно“. Тоа не значи „ова ќе се реши“.
⚠ Ова е најважната реченица на страницата, а екранот ја прави лесна за пропуштање: табот едноставно отсуствува, така што нема што да се чита и нема што да се кликне. Отсуството е добар исход, а не целосен.
Распоредот може да биде возможен аритметички и сепак да му треба долго време на FET. Можеби сè уште ќе треба да се олабават правилата пред да се постави. Видете Што не може да ви каже.