Ce face verificarea preliminară
O verificare ce îți analizează constrângerile și stabilește dacă un orar poate fi generat – înainte să petreci o seară aflând.
FET poate petrece mult timp eșuând. O singură regulă care face o lecție imposibil de plasat nu se anunță singură — rezolvitorul pur și simplu caută, și caută, și în cele din urmă renunță sau nu produce nimic.
Verificarea pre-zbor citește regulile dumneavoastră și efectuează mai întâi aritmetica. Acolo unde poate dovedi că un orar este imposibil, o spune în câteva secunde și numește regulile responsabile.
Unde se află
Pre-zbor se află alături de constrângerile de pe ecranul de date al orarului. Este disponibil persoanelor care pot edita orarul — este un instrument pentru persoana care construiește regulile.
Fiecare secțiune de constrângeri conține, de asemenea, un rezumat pe o singură linie în partea de sus, astfel încât să vedeți starea lucrurilor în timp ce lucrați, mai degrabă decât doar atunci când căutați.
Raportul: un verdict, apoi fiecare constatare cu regulile din spatele ei.
Unde rulează aritmetica
Verificarea nu rulează în browserul dumneavoastră. Browserul dumneavoastră citește regulile și trimite un rezumat către serverul nostru. Serverul nostru efectuează aritmetica și trimite constatările înapoi.
Rezumatul nu conține nume. Profesori, săli, discipline și grupuri de studenți călătoresc ca numere, iar browserul dumneavoastră reintroduce numele înainte de a afișa raportul.
Nu stocăm nimic din verificare. Verificarea construiește raportul din nou, pe baza regulilor dumneavoastră curente, de fiecare dată când îl deschideți.
Acest lucru are o consecință practică demnă de știut: este suficient de rapid pentru a fi folosit ca instrument de lucru. Schimbați o regulă, reveniți, priviți din nou.
Ce citește de fapt
Constrângerile dumneavoastră, așa cum sunt — nu un orar rezolvat. Nu plasează niciodată o lecție și nu modifică nimic.
Ceea ce face este aritmetică pe spațiul pe care l-ați lăsat:
- Câte ore este angajat un profesor, comparativ cu câte intervale orare îi rămân disponibile.
- Ce ore de începere ar putea lua legal o lecție, odată ce fiecare regulă care o afectează a fost aplicată.
- Dacă două lecții care trebuie să aibă loc sunt forțate în același interval orar în timp ce partajează un profesor, o sală sau un grup de studenți.
- Dacă un grup de lecții necesită mai multe zile distincte decât conține săptămâna.
Când aritmetica nu lasă loc, aceasta nu este o părere despre dificultate. Este o dovadă, iar verificarea o spune.
Ce să faci cu el
Rulați-l înainte de a trimite un proiect către FET și din nou după o modificare majoră. Un raport curat nu este o promisiune că FET va rezolva rapid — vezi Ce nu vă poate spune — dar un raport cu o constatare dovedită imposibilă vă spune că rezolvarea nu poate reuși, ceea ce merită știut înainte, mai degrabă decât după.
Raportul este în patru părți
Raportul nu clasifică constatările după cât de grave par. Le sortează după ceea ce poate dovedi, în patru tipuri: Dovedit imposibil, Greșeli, Ce face acest fișier dificil și Ce a rulat pe acest fișier.
Fiecare tip este o filă, și fiecare filă are propria sa numărătoare. Un tip fără nimic în el nu are deloc o filă, astfel încât un fișier liniștit arată mai puține file decât unul aglomerat. Prima filă cu ceva în ea se deschide singură.
Un grup cu multe constatări le afișează ca o listă, mai degrabă decât ca niște carduri. Selectați un rând pentru a vedea aritmetica din spatele acestuia, lângă listă.
Doar primul tip dovedește că FET nu poate construi orarul. Vezi Cele patru tipuri de constatări.
Conexiuni
Conexiuni răspunde la o întrebare diferită: nu ce este greșit, ci ce este atașat acestui profesor.
Alegeți un profesor, un grup de studenți sau o sală. Veți obține activitățile lor, regulile care le numesc, resursele cu care partajează o sală sau un interval orar și o imagine a acestor legături. Selectați orice nod din imagine pentru a muta vizualizarea la acesta.
Culoarea unui nod spune ce este — un profesor, un grup de studenți, o sală sau o regulă. Un inel în jurul unui nod spune că verificarea a găsit ceva despre el. Un inel roșu solid marchează o eroare. Un inel portocaliu întrerupt marchează un avertisment. Majoritatea fișierelor nu au deloc inele, și aceasta este starea normală.
O linie gri întreruptă între două reguli înseamnă că spun același lucru de două ori.
Entitățile fără nimic atașat sunt ascunse până când le solicitați, deoarece un fișier mare declară multe care nu conțin activități.
Unde să mergi mai departe
- Cele patru tipuri de constatări — ce promite de fapt fiecare tip.
- Rezolvarea a ceea ce găsește
- Ce nu vă poate spune