Co dělá předletová kontrola

FET může dlouho selhávat. Jediné pravidlo, které znemožňuje umístění jedné hodiny, se neoznámí – řešitel jednoduše hledá a hledá, a nakonec se vzdá nebo nic nevygeneruje.

Předletová kontrola nejprve přečte vaše pravidla a provede výpočty. Tam, kde může prokázat, že rozvrh je nemožný, to řekne během několika sekund a pojmenuje zodpovědná pravidla.

Kde se nachází

Předletová kontrola se nachází u omezení na datové obrazovce rozvrhu. Je k dispozici lidem, kteří mohou rozvrh upravovat – je to nástroj pro osobu, která vytváří pravidla.

Každá sekce omezení také nese jednorázový souhrn nahoře, takže vidíte stav věcí, zatímco pracujete, spíše než jen když je jdete hledat.

Zpráva: verdikt, poté každé zjištění s pravidly, která za ním stojí.

Kde probíhají výpočty

Kontrola neprobíhá ve vašem prohlížeči. Váš prohlížeč přečte vaše pravidla a odešle souhrn na náš server. Náš server provede výpočty a odešle zjištění zpět.

Souhrn neobsahuje žádná jména. Učitelé, místnosti, předměty a skupiny žáků cestují jako čísla a váš prohlížeč jména vrátí zpět, než zobrazí zprávu.

Z kontroly nic neukládáme. Kontrola sestaví zprávu znovu z vašich aktuálních pravidel pokaždé, když ji otevřete.

To má praktický důsledek, který stojí za to vědět: je dostatečně rychlá, aby se dala použít jako pracovní nástroj. Změňte pravidlo, vraťte se, podívejte se znovu.

Co skutečně čte

Vaše omezení, tak jak jsou – ne vyřešený rozvrh. Nikdy neumisťuje hodinu a nikdy nic nemění.

Co dělá, jsou výpočty s prostorem, který vám zbývá:

• Kolik hodin je učitel zavázán, oproti kolika časovým slotům mu zbývá k dispozici.
• Které počáteční časy by hodina mohla legálně zabrat, jakmile bylo aplikováno každé pravidlo, které se jí týká.
• Zda jsou dvě hodiny, které se musí obě konat, nuceny do stejného časového slotu, zatímco sdílejí učitele, místnost nebo třídu.
• Zda skupina hodin vyžaduje více odlišných dnů, než týden obsahuje.

Když výpočty nezanechají žádný prostor, není to názor na obtížnost. Je to důkaz a kontrola to tak říká.

Co s tím dělat

Spusťte ji před odesláním projektu do FET a znovu po velké změně. Čistá zpráva není slibem, že FET vyřeší rychle – viz Co vám nemůže říct – ale zpráva s prokázaně nemožným zjištěním vám říká, že řešení nemůže uspět, což je dobré vědět spíše předtím než potom.

Zpráva má čtyři části

Zpráva nehodnotí zjištění podle toho, jak vážná se zdají. Řadí je podle toho, co může prokázat, do čtyř druhů: Prokázaně nemožné, Chyby, Co dělá tento soubor obtížným a Co se spustilo na tomto souboru.

Každý druh je záložka a každá záložka nese svůj vlastní počet. Druh, který nic neobsahuje, nemá žádnou záložku, takže klidný soubor zobrazuje méně záložek než rušný. První záložka s něčím se otevře sama.

Skupina s mnoha zjištěními je zobrazuje jako seznam spíše než jako karty. Vyberte řádek, abyste viděli výpočty, které za ním stojí, vedle seznamu.

Pouze první druh prokazuje, že FET nemůže sestavit rozvrh. Viz Čtyři druhy zjištění.

Spojení

Spojení odpovídá na jinou otázku: ne co je špatně, ale co je připojeno k tomuto učiteli.

Vyberte učitele, skupinu žáků nebo místnost. Získáte jejich činnosti, pravidla, která je pojmenovávají, zdroje, se kterými sdílejí místnost nebo časový slot, a obrázek těchto odkazů. Vyberte libovolný uzel na obrázku, abyste na něj přesunuli zobrazení.

Barva uzlu říká, co to je – učitel, skupina žáků, místnost nebo pravidlo. Kroužek kolem uzlu říká, že kontrola o něm něco našla. Plný červený kroužek označuje chybu. Přerušovaný jantarový kroužek označuje varování. Většina souborů nemá žádné kroužky, a to je normální stav.

Přerušovaná šedá čára mezi dvěma pravidly znamená, že říkají totéž dvakrát.

Entity, ke kterým nic není připojeno, jsou skryté, dokud o ně nepožádáte, protože velký soubor deklaruje mnoho takových, které nenesou žádné činnosti.

Kam dál

• Čtyři druhy zjištění – co každý druh skutečně slibuje.
• Oprava toho, co najde
• Co vám nemůže říct