Keturių rūšių paieška
Patikrinimas suskirsto visas išvadas į keturias rūšis, tačiau tik pirmoji įrodo, kad FET negali sudaryti tvarkaraščio.
Dauguma tikrinimo įrankių rūšiuoja savo radinius pagal tai, kokie rimti jie atrodo. Šis rūšiuoja juos pagal tai, ką gali įrodyti. Ataskaita rodo keturias rūšis, visada tokia tvarka.
Kiekviena rūšis yra skirtukas su savo skaičiumi. Rūšis, kuri nieko nerado, neturi skirtuko, todėl tuščio nematysite.
Įrodyta, kad neįmanoma
Ekrane: Aritmetika, ne spėjimas.
Patikrinimas kiekvieną radinį čia pasiekia skaičiuodamas. Jis lygina skirtas valandas su laisvais laiko tarpais. Jis sumažina leistinus veiklos pradžios laikus iki nulio. Jis randa dvi veiklas, kurios turi vykti tuo pačiu metu ir dalintis dėstytoju.
Galite veikti pagal šiuos radinius, patys jų netikrindami. Jei ataskaitoje teigiama, kad veikla neturi leistino pradžios laiko, sprendėjas jo taip pat negali rasti.
Tai yra įrankio sutartis. Patikrinimas niekada nepraneša apie radinį, kurio negali įrodyti. Įrankis, kuris kelia vieną klaidingą pavojaus signalą, yra įrankis, kuriuo nustojate tikėti.
Klaidos
Ekrane: Kažkas čia tikriausiai nėra tai, ką turėjote omenyje.
Šie radiniai nesustabdo sprendimo. Jie rodo, kad jūsų taisyklės sako kažką, ko tikriausiai neketinote.
- Taisyklė nurodo į kažką, kas nebeegzistuoja.
- Taisyklė nukreipta į veiklą, kurią išjungėte.
- Dvi taisyklės sako lygiai tą patį.
- Minkštas pageidavimas niekada negali būti pritaikytas, todėl FET jį ignoruoja.
Nė viena iš šių priežasčių nepadaro tvarkaraščio neįmanomo. Taisyklės, kurių niekas nesupranta, sukelia kito semestro paslaptį.
Kas apsunkina šį failą
Ekrane: Tai nėra problema. Tai yra darbas, kurį turi atlikti sprendėjas.
Niekas čia nėra blogai. Ši rūšis apibūdina spaudimą jūsų faile. Ji nurodo veiklas, kurioms beveik neliko vietos. Ji nurodo savaitės dalis, kurios yra ankštos.
⚠ Perskaitykite šią rūšį prieš dar labiau sugriežtindami savaitę.
Antraštė keičiasi išspręstam failui. Tada ji skamba Kas apsunkino šį failą, nes darbas yra baigtas.
Kas buvo paleista šiame faile
Ekrane: Taisyklių tipai, kuriuos išvardijame ir skaičiuojame, niekada neteisiame.
Ši rūšis yra rami ir praneša apie patį patikrinimą, o ne apie jūsų failą. Ji išvardija suskaičiuotus taisyklių tipus. Ji praneša, kada jūsų sprendėjo režimas sustabdo patikrinimo vykdymą. Ji praneša, kada patikrinimas sustojo anksčiau labai dideliame faile.
Perskaitykite šią rūšį, kai ataskaita atrodo tuštesnė, nei tikėjotės. Paprastai ji paaiškina, kodėl.
Trūkstamas skirtukas nėra garantija
Patikrinimas praneša tai, ką gali įrodyti. Iš to neišplaukia, kad visa kita yra teisinga.
Nėra skirtuko „Įrodyta, kad neįmanoma“ reiškia „niekas nebuvo įrodyta, kad neįmanoma“. Tai nereiškia „tai bus išspręsta“.
⚠ Tai yra svarbiausias sakinys puslapyje, ir ekrane jį lengva praleisti: skirtuko tiesiog nėra, todėl nėra ką skaityti ir nėra ką spustelėti. Nebuvimas yra geras rezultatas, o ne pilnas.
Tvarkaraštis gali būti įmanomas aritmetiškai ir vis tiek užtrukti FET ilgą laiką. Jam vis tiek gali prireikti sušvelninti taisykles, kol jis bus sudarytas. Žr. Ko jis negali jums pasakyti.