Četiri vrste pronalaska
Provjera razvrstava svaki nalaz u četiri vrste, pri čemu samo prva vrsta dokazuje da FET ne može izraditi raspored.
Većina alata za provjeru sortira svoje nalaze prema tome koliko ih smatra ozbiljnima. Ovaj ih sortira prema onome što može dokazati. Izvještaj prikazuje četiri vrste, uvijek ovim redoslijedom.
Svaka vrsta je kartica s vlastitim brojem. Vrsta koja nije pronašla ništa nema karticu, tako da nećete vidjeti praznu.
Dokazano nemoguće
Na zaslonu: Aritmetika, a ne nagađanje.
Provjera dolazi do svakog nalaza ovdje brojanjem. Uspoređuje dodijeljene sate s dostupnim terminima. Smanjuje dopuštene početne termine aktivnosti na nulu. Pronalazi dvije aktivnosti koje se moraju odvijati u isto vrijeme i dijele nastavnika.
Možete postupiti prema ovim nalazima bez da ih sami provjeravate. Ako izvještaj kaže da aktivnost nema dopušteno početno vrijeme, rješavač ga također ne može pronaći.
Ovo je ugovor alata. Provjera nikada ne prijavljuje nalaz ovdje koji ne može dokazati. Alat koji podigne jednu lažnu uzbunu je alat kojem prestajete vjerovati.
Pogreške
Na zaslonu: Nešto ovdje vjerojatno nije ono što ste mislili.
Ovi nalazi ne zaustavljaju rješavanje. Pokazuju da vaša pravila govore nešto što vjerojatno niste namjeravali.
- Pravilo upućuje na nešto što više ne postoji.
- Pravilo cilja aktivnost koju ste isključili.
- Dva pravila govore potpuno istu stvar.
- Meka preferencija se nikada ne može primijeniti, pa je FET ignorira.
Ništa od ovoga ne čini raspored nemogućim. Pravila koja nitko ne razumije uzrokuju misterij sljedećeg semestra.
Što ovu datoteku čini teškom
Na zaslonu: Ovo nije problem. To je posao koji rješavač mora obaviti.
Ništa ovdje nije pogrešno. Ova vrsta opisuje pritisak u vašoj datoteci. Imenuje aktivnosti koje gotovo nemaju preostalog prostora. Imenuje dijelove tjedna koji su tijesni.
⚠ Pročitajte ovu vrstu prije nego što tjedan učinite tijesnijim.
Naslov se mijenja za riješenu datoteku. Tada glasi Što je ovu datoteku učinilo teškom, jer je posao završen.
Što je pokrenuto na ovoj datoteci
Na zaslonu: Vrste pravila koje navodimo i brojimo, nikada ne prosuđujemo.
Ova vrsta je tiha i izvještava o samoj provjeri, a ne o vašoj datoteci. Navodi vrste pravila koje je prebrojala. Govori vam kada vaš način rada rješavača zaustavlja pokretanje provjere. Govori vam kada je provjera rano zaustavljena na vrlo velikoj datoteci.
Pročitajte ovu vrstu kada izvještaj izgleda praznije nego što ste očekivali. Obično objašnjava zašto.
Kartica koja nedostaje nije jamstvo
Provjera izvještava ono što može dokazati. Iz toga ne proizlazi da je sve ostalo ispravno.
Kartica "Dokazano nemoguće" koja nedostaje znači "ništa nije dokazano nemogućim". Ne znači "ovo će se riješiti".
⚠ Ovo je najvažnija rečenica na stranici, a zaslon je čini lako propustivom: kartica jednostavno nedostaje, tako da nema ništa za čitati i ništa za kliknuti. Odsutnost je dobar ishod, a ne potpun.
Raspored može biti aritmetički moguć i još uvijek zahtijevati dugo vremena za FET. Još uvijek može trebati ublažavanje pravila prije nego što se riješi. Pogledajte Što vam ne može reći.