Četiri vrste pronalaženja
Provjera razvrstava sve nalaze u četiri vrste, a samo prva vrsta dokazuje da FET ne može sastaviti raspored.
Većina alata za provjeru sortira svoje nalaze prema tome koliko ih smatra ozbiljnim. Ovaj ih sortira prema onome što može dokazati. Izvještaj prikazuje četiri vrste, uvijek ovim redoslijedom.
Svaka vrsta je kartica sa sopstvenim brojem. Vrsta koja nije pronašla ništa nema karticu, tako da nećete vidjeti praznu.
Dokazano nemoguće
Na ekranu: Aritmetika, a ne nagađanje.
Provjera dolazi do svakog nalaza ovdje brojanjem. Upoređuje dodijeljene sate sa slobodnim terminima. Smanjuje legalna vremena početka 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 legalno vrijeme početka, ni rješavač je 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 u koji prestajete vjerovati.
Greške
Na ekranu: Nešto ovdje vjerovatno nije ono što ste mislili.
Ovi nalazi ne zaustavljaju rješavanje. Oni pokazuju da vaša pravila govore nešto što vjerovatno niste namjeravali.
- Pravilo ukazuje na nešto što više ne postoji.
- Pravilo cilja aktivnost koju ste isključili.
- Dva pravila govore potpuno istu stvar.
- Blaga preferencija se nikada ne može primijeniti, pa je FET ignoriše.
Ništa od ovoga ne čini Raspored nemogućim. Pravila koja niko ne razumije uzrokuju misteriju sljedećeg semestra.
Šta čini ovu datoteku teškom
Na ekranu: 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 slobodnog prostora. Imenuje dijelove sedmice koji su tijesni.
⚠ Pročitajte ovu vrstu prije nego što sedmicu učinite tijesnijom.
Naslov se mijenja za riješenu datoteku. Tada glasi Šta je ovu datoteku učinilo teškom, jer je posao završen.
Šta je pokrenuto na ovoj datoteci
Na ekranu: Vrste pravila koje navodimo i brojimo, nikada ne sudimo.
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 zaustavljena rano 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 garancija
Provjera izvještava ono što može dokazati. Ne slijedi da je sve ostalo ispravno.
Odsustvo kartice "Dokazano nemoguće" 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 ekran je čini lakom za propustiti: kartica jednostavno nedostaje, tako da nema ništa za čitanje i ništa za kliknuti. Odsustvo je dobar ishod, a ne potpuni.
Raspored može biti moguć u aritmetici i još uvijek oduzeti FET-u mnogo vremena. Još uvijek može zahtijevati ublažavanje pravila prije nego što se postavi. Pogledajte Šta vam ne može reći.