Čtyři druhy vyhledávání
Kontrola rozřazuje všechna zjištění do čtyř druhů, přičemž pouze první dokazuje, že FET nemůže sestavit rozvrh.
Většina kontrolních nástrojů řadí své nálezy podle toho, jak vážné se jim zdají. Tento je řadí podle toho, co může prokázat. Zpráva ukazuje čtyři druhy, vždy v tomto pořadí.
Každý druh je záložka s vlastním počtem. Druh, který nic nenašel, nemá záložku, takže prázdnou neuvidíte.
Prokázáno nemožné
Na obrazovce: Aritmetika, ne odhad.
Kontrola dospěje ke každému nálezu zde počítáním. Porovnává přidělené hodiny s volnými časovými sloty. Snižuje počet legálních časů zahájení činnosti na nulu. Najde dvě činnosti, které musí probíhat ve stejnou dobu a sdílejí učitele.
Na tyto nálezy můžete reagovat, aniž byste je sami kontrolovali. Pokud zpráva uvádí, že činnost nemá legální čas zahájení, řešitel jej také nemůže najít.
Toto je smlouva nástroje. Kontrola zde nikdy nehlásí nález, který nemůže prokázat. Nástroj, který vyvolá jeden falešný poplach, je nástroj, kterému přestanete věřit.
Chyby
Na obrazovce: Něco zde pravděpodobně není to, co jste zamýšleli.
Tyto nálezy nezastaví řešení. Ukazují, že vaše pravidla říkají něco, co jste pravděpodobně nezamýšleli.
- Pravidlo odkazuje na něco, co již neexistuje.
- Pravidlo cílí na činnost, kterou jste vypnuli.
- Dvě pravidla říkají přesně to samé.
- Měkká preference se nikdy nemůže uplatnit, takže ji FET ignoruje.
Žádná z těchto věcí nečiní rozvrh nemožným. Pravidla, kterým nikdo nerozumí, způsobují záhadu příštího semestru.
Co dělá tento soubor obtížným
Na obrazovce: Toto není problém. Je to práce, kterou musí řešitel vykonat.
Nic zde není špatně. Tento druh popisuje tlak ve vašem souboru. Jmenuje činnosti, které mají téměř žádný prostor. Jmenuje části týdne, které jsou napjaté.
⚠ Přečtěte si tento druh, než týden zpřísníte.
Nadpis se mění pro vyřešený soubor. Poté zní Co udělalo tento soubor obtížným, protože práce je dokončena.
Co běželo na tomto souboru
Na obrazovce: Typy pravidel, které uvádíme a počítáme, nikdy nesoudíme.
Tento druh je tichý a podává zprávu o samotné kontrole, spíše než o vašem souboru. Uvádí typy pravidel, které spočítal. Říká vám, kdy váš režim řešitele zastaví spuštění kontroly. Říká vám, kdy se kontrola zastavila předčasně u velmi velkého souboru.
Přečtěte si tento druh, když zpráva vypadá prázdnější, než jste očekávali. Obvykle to vysvětluje proč.
Chybějící záložka není zárukou
Kontrola hlásí, co může prokázat. Z toho nevyplývá, že vše ostatní je správné.
Žádná záložka „Prokázáno nemožné“ znamená „nic nebylo prokázáno jako nemožné“. Neznamená to „toto se vyřeší“.
⚠ Toto je nejdůležitější věta na stránce a obrazovka ji snadno přehlédne: záložka jednoduše chybí, takže není co číst a na co klikat. Absence je dobrý výsledek, nikoli úplný.
Rozvrh může být aritmeticky možný a přesto trvat FETu dlouho. Stále může potřebovat uvolnění pravidel, než se usadí. Viz Co vám nemůže říct.