Što radi predletna provjera

FET može dugo vremena neuspješno raditi. Jedno pravilo koje onemogućuje smještaj jedne lekcije ne najavljuje se samo — rješavač jednostavno pretražuje, pretražuje i na kraju odustaje ili ne proizvodi ništa.

Provjera prije pokretanja č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

Provjera prije pokretanja nalazi se uz ograničenja na zaslonu s podacima rasporeda. Dostupna je osobama koje mogu uređivati raspored — to je alat za osobu koja postavlja pravila.

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

Izvješće: presuda, zatim svaki nalaz s pravilima koja stoje iza njega.

Gdje se izvodi aritmetika

Provjera se ne izvodi u vašem pregledniku. Vaš preglednik čita vaša pravila i šalje sažetak našem poslužitelju. Naš poslužitelj obavlja aritmetiku i šalje nalaze natrag.

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šće.

Ne pohranjujemo ništa iz provjere. Provjera ponovno izrađuje izvješće 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 ponovno.

Što zapravo čita

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

Ono što radi je aritmetika na preostalom prostoru:

• Koliko je sati nastavnik obvezan, u odnosu na koliko mu je termina preostalo na raspolaganju.
• Koje početne termine lekcija može legalno zauzeti, nakon što su primijenjena sva pravila koja je dodiruju.
• Jesu li dvije lekcije koje se moraju održati prisiljene u isti termin dok dijele nastavnika, prostoriju ili razred.
• Zahtijeva li grupa lekcija više različitih dana nego što tjedan sadrži.

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

Što učiniti s njim

Pokrenite ga prije nego što pošaljete projekt FET-u, i ponovno nakon velike promjene. Čisto izvješće nije obećanje da će FET brzo riješiti problem — pogledajte Što vam ne može reći — ali izvješće s nalazom dokazane nemogućnosti govori vam da rješenje ne može uspjeti, što je vrijedno znati prije, a ne poslije.

Izvješće je u četiri dijela

Izvješće ne ocjenjuje nalaze prema tome koliko su ozbiljni. Ono ih sortira prema onome što može dokazati, u četiri vrste: Dokazano nemoguće, Pogreške, Što otežava ovu datoteku i Što je pokrenuto na ovoj datoteci.

Svaka vrsta je kartica, i svaka kartica nosi vlastiti broj. Vrsta koja ne sadrži ništa nema karticu uopće, tako da tiha datoteka prikazuje manje kartica od one s puno sadržaja. Prva kartica s nečim u sebi otvara se sama.

Grupa s mnogo nalaza prikazuje ih kao popis, a ne kao kartice. Odaberite redak da biste vidjeli aritmetiku koja stoji iza njega pored popisa.

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

Veze

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

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

Boja čvora govori što je — 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 pogrešku. Prekinuti jantarni prsten označava upozorenje. Većina datoteka uopće nema prstenove, i to je normalno stanje.

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

Entiteti bez ikakvih veza skriveni su dok ih ne zatražite, jer velika datoteka deklarira mnoge koji ne nose aktivnosti.

Kamo dalje

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