Katër llojet e gjetjes
Kontrolli i rendit të gjitha gjetjet në katër lloje, ku vetëm i pari vërteton se FET nuk mund të ndërtojë orarin.
Shumica e mjeteve të kontrollit i rendisin gjetjet e tyre sipas seriozitetit që ato ndiejnë. Ky i rendit ato sipas asaj që mund të provojë. Raporti tregon katër lloje, gjithmonë në këtë renditje.
Çdo lloj është një skedë me numërimin e vet. Një lloj që nuk gjeti asgjë nuk ka skedë, kështu që nuk do të shihni një të zbrazët.
E provuar e pamundur
Në ekran: Aritmetikë, jo një hamendje.
Kontrolli arrin çdo gjetje këtu duke numëruar. Ai krahason orët e angazhuara me slotet e lira. Ai redukton kohët ligjore të fillimit të një veprimtarie në asnjë. Ai gjen dy veprimtari që duhet të zhvillohen në të njëjtën kohë dhe ndajnë një mësues.
Mund të veproni mbi këto gjetje pa i kontrolluar vetë. Nëse raporti thotë se një veprimtari nuk ka kohë ligjore fillimi, zgjidhësi nuk mund të gjejë asnjë.
Kjo është kontrata e mjetit. Kontrolli nuk raporton kurrë një gjetje këtu që nuk mund ta provojë. Një mjet që ngre një alarm të rremë është një mjet të cilit i ndalon së besuari.
Gabime
Në ekran: Diçka këtu ndoshta nuk është ajo që keni dashur.
Këto gjetje nuk e ndalojnë një zgjidhje. Ato tregojnë se rregullat tuaja thonë diçka që ndoshta nuk e keni pasur ndërmend.
- Një rregull tregon diçka që nuk ekziston më.
- Një rregull synon një veprimtari që e keni çaktivizuar.
- Dy rregulla thonë saktësisht të njëjtën gjë.
- Një preferencë e butë nuk mund të zbatohet kurrë, kështu që FET e injoron atë.
Asnjë nga këto nuk e bën orarin të pamundur. Rregullat që askush nuk i kupton shkaktojnë misterin e termit të ardhshëm.
Çfarë e bën këtë skedar të vështirë
Në ekran: Ky nuk është një problem. Është puna që duhet të bëjë zgjidhësi.
Asgjë këtu nuk është gabim. Ky lloj përshkruan presionin në skedarin tuaj. Ai emërton veprimtaritë që nuk kanë pothuajse asnjë hapësirë të mbetur. Ai emërton pjesët e javës që janë të ngushta.
⚠ Lexoni këtë lloj përpara se ta bëni javën më të ngushtë.
Titulli ndryshon për një skedar të zgjidhur. Më pas lexon Çfarë e bëri këtë skedar të vështirë, sepse puna është e përfunduar.
Çfarë u ekzekutua në këtë skedar
Në ekran: Llojet e rregullave që listojmë dhe numërojmë, kurrë nuk i gjykojmë.
Ky lloj është i qetë dhe raporton për vetë kontrollin, jo për skedarin tuaj. Ai liston llojet e rregullave që numëroi. Ai ju tregon kur modaliteti juaj i zgjidhësit ndalon një kontroll nga ekzekutimi. Ai ju tregon kur kontrolli u ndal herët në një skedar shumë të madh.
Lexoni këtë lloj kur raporti duket më bosh nga sa prisnit. Zakonisht shpjegon pse.
Një skedë që mungon nuk është garanci
Kontrolli raporton atë që mund të provojë. Nuk nënkupton që gjithçka tjetër është e saktë.
Mungesa e skedës "E provuar e pamundur" do të thotë "asgjë nuk u provua e pamundur". Nuk do të thotë "kjo do të zgjidhet".
⚠ Kjo është fjalia më e rëndësishme në faqe, dhe ekrani e bën të lehtë për t'u humbur: skeda thjesht mungon, kështu që nuk ka asgjë për të lexuar dhe asgjë për të klikuar. Mungesa është rezultati i mirë, jo ai i plotë.
Një orar mund të jetë i mundur në aritmetikë dhe prapë t'i marrë FET-it shumë kohë. Mund të ketë ende nevojë për rregulla të lehtësuara përpara se të vendoset. Shih Çfarë nuk mund t'ju tregojë.