Štyri druhy vyhľadávania
Kontrola triedi každé zistenie do štyroch druhov a len prvý druh dokazuje, že FET nemôže zostaviť rozvrh.
Väčšina kontrolných nástrojov triedi svoje zistenia podľa toho, ako vážne sa im zdajú. Tento ich triedi podľa toho, čo dokáže preukázať. Správa ukazuje štyri druhy, vždy v tomto poradí.
Každý druh je záložka s vlastným počtom. Druh, ktorý nič nenašiel, nemá záložku, takže neuvidíte prázdnu.
Preukázané ako nemožné
Na obrazovke: Aritmetika, nie odhad.
Kontrola dospeje ku každému zisteniu tu počítaním. Porovnáva pridelené hodiny s voľnými časovými úsekmi. Znižuje legálne časy začiatku aktivity na nulu. Nájde dve aktivity, ktoré musia prebiehať v rovnakom čase a zdieľať učiteľa.
Na tieto zistenia môžete reagovať bez toho, aby ste ich sami kontrolovali. Ak správa hovorí, že aktivita nemá legálny čas začiatku, riešiteľ ho tiež nemôže nájsť.
Toto je zmluva nástroja. Kontrola nikdy neoznámi zistenie, ktoré nemôže preukázať. Nástroj, ktorý vyvolá jeden falošný poplach, je nástroj, ktorému prestanete veriť.
Chyby
Na obrazovke: Niečo tu pravdepodobne nie je to, čo ste mysleli.
Tieto zistenia nezastavia riešenie. Ukazujú, že vaše pravidlá hovoria niečo, čo ste pravdepodobne nemali v úmysle.
- Pravidlo odkazuje na niečo, čo už neexistuje.
- Pravidlo sa týka aktivity, ktorú ste vypli.
- Dve pravidlá hovoria presne to isté.
- Mäkká preferencia sa nikdy nemôže uplatniť, takže FET ju ignoruje.
Žiadne z nich nerobí rozvrh nemožným. Pravidlá, ktorým nikto nerozumie, spôsobujú záhadu budúceho semestra.
Čo robí tento súbor náročným
Na obrazovke: Toto nie je problém. Je to práca, ktorú musí riešiteľ vykonať.
Nič tu nie je zle. Tento druh opisuje tlak vo vašom súbore. Vymenúva aktivity, ktoré už nemajú takmer žiadny priestor. Vymenúva časti týždňa, ktoré sú tesné.
⚠ Prečítajte si tento druh predtým, ako týždeň sprísnite.
Nadpis sa mení pre vyriešený súbor. Potom znie Čo robilo tento súbor náročným, pretože práca je dokončená.
Čo sa spustilo na tomto súbore
Na obrazovke: Typy pravidiel, ktoré uvádzame a počítame, nikdy neposudzujeme.
Tento druh je tichý a podáva správu o samotnej kontrole, nie o vašom súbore. Uvádza typy pravidiel, ktoré spočítal. Povie vám, kedy váš režim riešiteľa zastaví spustenie kontroly. Povie vám, kedy sa kontrola zastavila predčasne na veľmi veľkom súbore.
Prečítajte si tento druh, keď sa správa zdá prázdnejšia, než ste očakávali. Zvyčajne to vysvetľuje prečo.
Chýbajúca záložka nie je zárukou
Kontrola oznamuje, čo môže preukázať. Z toho nevyplýva, že všetko ostatné je správne.
Žiadna záložka „Preukázané ako nemožné“ znamená „nič nebolo preukázané ako nemožné“. Neznamená to „toto sa vyrieši“.
⚠ Toto je najdôležitejšia veta na stránke a obrazovka ju ľahko prehliadne: záložka jednoducho chýba, takže nie je čo čítať a na čo klikať. Absencia je dobrý výsledok, nie úplný.
Rozvrh môže byť aritmeticky možný a napriek tomu trvať FET dlho. Stále môže potrebovať uvoľnené pravidlá, kým sa usadí. Pozrite si Čo vám nemôže povedať.