Čo robí predletová kontrola

FET môže dlho zlyhávať. Jediné pravidlo, ktoré znemožňuje umiestnenie jednej hodiny, sa neoznámi – riešiteľ jednoducho hľadá a hľadá, a nakoniec sa vzdá alebo nič nevyprodukuje.

Predletová kontrola najprv prečíta vaše pravidlá a vykoná aritmetiku. Tam, kde môže dokázať, že rozvrh je nemožný, povie to v priebehu sekúnd a pomenuje zodpovedné pravidlá.

Kde sa nachádza

Predletová kontrola sa nachádza pri obmedzeniach na dátovej obrazovke rozvrhu. Je k dispozícii ľuďom, ktorí môžu rozvrh upravovať – je to nástroj pre osobu, ktorá vytvára pravidlá.

Každá sekcia obmedzení obsahuje aj jednoriadkový súhrn na vrchu, takže vidíte stav vecí počas práce, a nie len vtedy, keď ich idete hľadať.

Správa: verdikt, potom každé zistenie s pravidlami, ktoré za ním stoja.

Kde prebieha aritmetika

Kontrola neprebieha vo vašom prehliadači. Váš prehliadač prečíta vaše pravidlá a odošle súhrn na náš server. Náš server vykoná aritmetiku a odošle zistenia späť.

Súhrn neobsahuje žiadne mená. Učitelia, miestnosti, predmety a študentské skupiny sa prenášajú ako čísla a váš prehliadač vráti mená späť predtým, ako zobrazí správu.

Z kontroly nič neukladáme. Kontrola zostaví správu z vašich aktuálnych pravidiel zakaždým, keď ju otvoríte.

To má praktický dôsledok, ktorý stojí za to vedieť: je dostatočne rýchla na to, aby sa dala použiť ako pracovný nástroj. Zmeňte pravidlo, vráťte sa, pozrite sa znova.

Čo v skutočnosti číta

Vaše obmedzenia, tak ako sú – nie vyriešený rozvrh. Nikdy neumiestňuje hodinu a nikdy nič nemení.

Čo robí, je aritmetika s priestorom, ktorý vám zostal:

• Koľko hodín je učiteľ viazaný, oproti tomu, koľko časových slotov mu zostáva k dispozícii.
• Ktoré počiatočné časy by hodina mohla legálne zabrať, akonáhle sa uplatnia všetky pravidlá, ktoré sa jej týkajú.
• Či sú dve hodiny, ktoré sa musia obe uskutočniť, nútené do rovnakého časového slotu, zatiaľ čo zdieľajú učiteľa, miestnosť alebo triedu.
• Či skupina hodín vyžaduje viac odlišných dní, než týždeň obsahuje.

Keď aritmetika nezanechá žiadny priestor, nie je to názor na obtiažnosť. Je to dôkaz a kontrola to potvrdzuje.

Čo s tým robiť

Spustite to predtým, ako odošlete projekt do FET, a znova po veľkej zmene. Čistá správa nie je prísľubom, že FET vyrieši rýchlo – pozri Čo vám nemôže povedať – ale správa s nálezom, ktorý dokazuje nemožnosť, vám hovorí, že riešenie nemôže uspieť, čo je dobré vedieť skôr ako neskôr.

Správa má štyri časti

Správa nehodnotí zistenia podľa toho, ako vážne sa zdajú. Triedi ich podľa toho, čo môže dokázať, do štyroch druhov: Dokázateľne nemožné, Chyby, Čo robí tento súbor ťažkým a Čo sa spustilo na tomto súbore.

Každý druh je záložka a každá záložka má vlastný počet. Druh, ktorý nič neobsahuje, nemá žiadnu záložku, takže tichý súbor zobrazuje menej záložiek ako rušný. Prvá záložka s obsahom sa otvorí sama.

Skupina s mnohými zisteniami ich zobrazuje ako zoznam, nie ako karty. Vyberte riadok, aby ste videli aritmetiku, ktorá za ním stojí, vedľa zoznamu.

Iba prvý druh dokazuje, že FET nemôže zostaviť rozvrh. Pozri Štyri druhy zistení.

Prepojenia

Prepojenia odpovedajú na inú otázku: nie čo je zle, ale čo je pripojené k tomuto učiteľovi.

Vyberte učiteľa, študentskú skupinu alebo miestnosť. Získate ich aktivity, pravidlá, ktoré ich pomenúvajú, zdroje, s ktorými zdieľajú miestnosť alebo časový slot, a obrázok týchto prepojení. Vyberte ľubovoľný uzol na obrázku, aby ste naň presunuli zobrazenie.

Farba uzla hovorí, čo to je – učiteľ, študentská skupina, miestnosť alebo pravidlo. Krúžok okolo uzla hovorí, že kontrola o ňom niečo našla. Plný červený krúžok označuje chybu. Prerušovaný jantárový krúžok označuje varovanie. Väčšina súborov nemá žiadne krúžky, a to je normálny stav.

Prerušovaná sivá čiara medzi dvoma pravidlami znamená, že hovoria to isté dvakrát.

Entity, ku ktorým nie je nič pripojené, sú skryté, kým si ich nevyžiadate, pretože veľký súbor deklaruje mnoho takých, ktoré nenesú žiadne aktivity.

Kam ďalej

• Štyri druhy zistení – čo každý druh v skutočnosti sľubuje.
• Oprava toho, čo nájde
• Čo vám nemôže povedať