Cele patru tipuri de căutare
Verificarea clasifică fiecare constatare în patru tipuri. Doar primul tip dovedește că FET nu poate genera orarul.
Majoritatea instrumentelor de verificare își sortează constatările după cât de grave le consideră. Acesta le sortează după ceea ce poate demonstra. Raportul prezintă patru tipuri, întotdeauna în această ordine.
Fiecare tip este o filă cu propriul său număr. Un tip care nu a găsit nimic nu are filă, așa că nu veți vedea una goală.
Dovedit imposibil
Pe ecran: Aritmetică, nu o ghicire.
Verificarea ajunge la fiecare constatare de aici prin numărare. Compară orele alocate cu sloturile libere. Reduce timpii de începere legali ai unei activități la zero. Găsește două activități care trebuie să se desfășoare în același timp și să împartă un profesor.
Puteți acționa în baza acestor constatări fără a le verifica singur. Dacă raportul spune că o activitate nu are un timp de începere legal, nici rezolvitorul nu poate găsi unul.
Acesta este contractul instrumentului. Verificarea nu raportează niciodată o constatare aici pe care nu o poate demonstra. Un instrument care generează o singură alarmă falsă este un instrument în care nu mai crezi.
Greșeli
Pe ecran: Ceva aici probabil nu este ceea ce ați vrut să spuneți.
Aceste constatări nu opresc o rezolvare. Ele arată că regulile dumneavoastră spun ceva ce probabil nu ați intenționat.
- O regulă indică ceva ce nu mai există.
- O regulă vizează o activitate pe care ați dezactivat-o.
- Două reguli spun exact același lucru.
- O preferință flexibilă nu se poate aplica niciodată, așa că FET o ignoră.
Niciuna dintre acestea nu face un orar imposibil. Regulile pe care nimeni nu le înțelege cauzează misterul următorului semestru.
Ce face acest fișier dificil
Pe ecran: Aceasta nu este o problemă. Este munca pe care trebuie să o facă rezolvitorul.
Nimic aici nu este greșit. Acest tip descrie presiunea din fișierul dumneavoastră. Numește activitățile care nu mai au aproape deloc spațiu. Numește părțile săptămânii care sunt strânse.
⚠ Citiți acest tip înainte de a face săptămâna mai strânsă.
Titlul se schimbă pentru un fișier rezolvat. Atunci va scrie Ce a făcut acest fișier dificil, deoarece munca este completă.
Ce a rulat pe acest fișier
Pe ecran: Tipuri de reguli pe care le listăm și le numărăm, niciodată nu le judecăm.
Acest tip este discret și raportează despre verificare în sine, mai degrabă decât despre fișierul dumneavoastră. Listează tipurile de reguli pe care le-a numărat. Vă spune când modul dumneavoastră de rezolvare oprește o verificare. Vă spune când verificarea s-a oprit mai devreme pe un fișier foarte mare.
Citiți acest tip când raportul pare mai gol decât vă așteptați. De obicei, explică de ce.
O filă lipsă nu este o garanție
Verificarea raportează ceea ce poate demonstra. Nu rezultă că tot restul este corect.
Absența filei "Dovedit imposibil" înseamnă "nimic nu a fost dovedit imposibil". Nu înseamnă "acesta se va rezolva".
⚠ Aceasta este cea mai importantă propoziție de pe pagină, iar ecranul o face ușor de ratat: fila este pur și simplu absentă, deci nu există nimic de citit și nimic de apăsat. Absența este rezultatul bun, nu cel complet.
Un orar poate fi posibil din punct de vedere aritmetic și totuși să-i ia mult timp lui FET. S-ar putea să necesite în continuare relaxarea regulilor înainte de a fi finalizat. Vezi Ce nu vă poate spune.