Šta radi provjera prije pokretanja

FET može dugo tražiti bez uspjeha. Jedno pravilo koje onemogućava smještanje jedne lekcije ne otkriva se samo — rješavač jednostavno traži, i traži, i na kraju odustaje ili ne proizvodi ništa.

Predletna provjera čita vaša pravila i prvo obavlja aritmetiku. Tamo gdje može dokazati da je raspored nemoguć, to kaže u sekundama i imenuje odgovorna pravila.

Gdje se nalazi

Predletna provjera se nalazi sa ograničenjima na ekranu podataka rasporeda. Dostupna je osobama koje mogu uređivati raspored — to je alat za osobu koja kreira pravila.

Svaki odjeljak ograničenja također sadrži sažetak u jednom redu na vrhu, tako da vidite stanje stvari dok radite, a ne samo kada ih tražite.

Izvještaj: presuda, zatim svaki nalaz sa pravilima koja stoje iza njega.

Gdje se obavlja aritmetika

Provjera se ne obavlja u vašem pregledniku. Vaš preglednik čita vaša pravila i šalje sažetak našem serveru. Naš server obavlja aritmetiku i šalje nalaze nazad.

Sažetak ne sadrži imena. Nastavnici, prostorije, predmeti i grupe učenika putuju kao brojevi, a vaš preglednik vraća imena prije nego što prikaže izvještaj.

Ne pohranjujemo ništa iz provjere. Provjera ponovo kreira izvještaj iz vaših trenutnih pravila svaki put kada je otvorite.

To ima praktičnu posljedicu koju vrijedi znati: dovoljno je brzo da se koristi kao radni alat. Promijenite pravilo, vratite se, pogledajte ponovo.

Šta zapravo čita

Vaša ograničenja, onakva kakva jesu — a ne riješeni raspored. Nikada ne smješta lekciju i nikada ništa ne mijenja.

Ono što radi je aritmetika na preostalom prostoru:

• Koliko sati je nastavnik obavezan, u odnosu na to koliko mu je termina preostalo.
• Koje početne termine lekcija može legalno zauzeti, nakon što se primijeni svako pravilo koje je dotiče.
• Da li su dvije lekcije koje se moraju održati prisiljene u isti termin dok dijele nastavnika, prostoriju ili razred.
• Da li grupa lekcija zahtijeva više različitih dana nego što sedmica sadrži.

Kada aritmetika ne ostavlja prostora, to nije mišljenje o poteškoći. To je dokaz, i provjera to kaže.

Šta učiniti s tim

Pokrenite je prije nego što pošaljete projekt FET-u, i ponovo nakon velike promjene. Čist izvještaj nije obećanje da će FET brzo riješiti — pogledajte Šta vam ne može reći — ali izvještaj sa nalazom dokazano nemogućeg govori vam da rješenje ne može uspjeti, što je vrijedno znati prije, a ne poslije.

Izvještaj je u četiri dijela

Izvještaj ne ocjenjuje nalaze po tome koliko su ozbiljni. Sortira ih po onome što može dokazati, u četiri vrste: Dokazano nemoguće, Greške, Šta čini ovu datoteku teškom, i Šta je pokrenuto na ovoj datoteci.

Svaka vrsta je kartica, i svaka kartica nosi svoj broj. Vrsta koja nema ništa u sebi nema karticu uopšte, tako da tiha datoteka prikazuje manje kartica od one koja je zauzeta. Prva kartica sa nečim u sebi otvara se sama.

Grupa sa mnogo nalaza prikazuje ih kao listu, a ne kao kartice. Odaberite red da biste vidjeli aritmetiku koja stoji iza toga pored liste.

Samo prva vrsta dokazuje da FET ne može izgraditi raspored. Pogledajte Četiri vrste nalaza.

Veze

Veze odgovaraju na drugačije pitanje: ne šta je pogrešno, već šta je povezano sa ovim nastavnikom.

Odaberite nastavnika, grupu učenika ili prostoriju. Dobijate njihove aktivnosti, pravila koja ih imenuju, resurse sa kojima dijele prostoriju ili termin, i sliku tih veza. Odaberite bilo koji čvor na slici da biste pomjerili prikaz na njega.

Boja čvora govori šta je to — nastavnik, grupa učenika, prostorija ili pravilo. Prsten oko čvora govori da je provjera nešto pronašla o njemu. Puni crveni prsten označava grešku. Prekinuti žuti prsten označava upozorenje. Većina datoteka uopšte nema prstenove, i to je normalno stanje.

Prekinuta siva linija između dva pravila znači da govore istu stvar dva puta.

Entiteti bez ičega priloženog su skriveni dok ih ne zatražite, jer velika datoteka deklarira mnoge koji ne nose aktivnosti.

Gdje dalje

• Četiri vrste nalaza — šta svaka vrsta zapravo obećava.
• Popravljanje onoga što pronađe
• Šta vam ne može reći