Négyféle keresés
A vizsgálat minden megállapítást négy típusba rendez, melyek közül csak az első bizonyítja, hogy a FET nem tudja elkészíteni az órarendet.
A legtöbb ellenőrző eszköz a súlyosságuk szerint rendezi a találatait. Ez az eszköz aszerint rendezi őket, amit bizonyítani tud. A jelentés négyféle típust mutat, mindig ebben a sorrendben.
Minden típus egy saját számlálóval rendelkező fül. Az a típus, amelyik nem talált semmit, nem rendelkezik füllel, így nem fog üreset látni.
Bizonyítottan lehetetlen
Képernyőn: Számítás, nem találgatás.
Az ellenőrzés minden itt található eredményt számlálással ér el. Összehasonlítja a lekötött órákat a szabad időpontokkal. Egy tevékenység legális kezdési időpontjait nullára csökkenti. Két olyan tevékenységet talál, amelyeknek egyszerre kell futniuk és ugyanazon tanáron osztoznak.
Ezekre a megállapításokra anélkül is cselekedhet, hogy Ön ellenőrizné őket. Ha a jelentés szerint egy tevékenységnek nincs legális kezdési időpontja, a megoldó sem találhat ilyet.
Ez az eszköz szerződése. Az ellenőrzés soha nem jelent olyan megállapítást, amelyet nem tud bizonyítani. Egy eszköz, amely egyetlen téves riasztást is ad, egy olyan eszköz, amiben már nem hisz.
Hibák
Képernyőn: Valószínűleg nem erre gondolt.
Ezek a megállapítások nem állítják le a megoldást. Azt mutatják, hogy a szabályai olyasmit mondanak, amit valószínűleg nem szándékozott.
- Egy szabály olyan dologra mutat, ami már nem létezik.
- Egy szabály olyan tevékenységet céloz, amelyet kikapcsolt.
- Két szabály pontosan ugyanazt mondja.
- Egy puha preferencia soha nem alkalmazható, ezért a FET figyelmen kívül hagyja.
Ezek közül egyik sem teszi lehetetlenné az órarendet. Azok a szabályok, amelyeket senki sem ért, okozzák a következő félév rejtélyét.
Mi teszi nehézzé ezt a fájlt
Képernyőn: Ez nem probléma. Ez az a munka, amit a megoldónak el kell végeznie.
Itt semmi sem rossz. Ez a típus írja le a fájlban lévő nyomást. Megnevezi azokat a tevékenységeket, amelyeknek alig maradt helyük. Megnevezi a hét azon részeit, amelyek szorosak.
⚠ Olvassa el ezt a típust, mielőtt szorosabbá tenné a hetet.
A címsor megváltozik egy megoldott fájl esetén. Ekkor a következő olvasható: Mi tette nehézzé ezt a fájlt, mert a munka befejeződött.
Mi futott ezen a fájlon
Képernyőn: Szabálytípusok, amelyeket felsorolunk és megszámolunk, soha nem ítélünk meg.
Ez a típus csendes, és magáról az ellenőrzésről számol be, nem a fájljáról. Felsorolja a megszámolt szabálytípusokat. Megmondja, mikor akadályozza meg a megoldó módja az ellenőrzés futását. Megmondja, mikor állt le az ellenőrzés idő előtt egy nagyon nagy fájl esetén.
Olvassa el ezt a típust, ha a jelentés üresebbnek tűnik, mint várta. Általában megmagyarázza, miért.
Egy hiányzó fül nem garancia
Az ellenőrzés azt jelenti, amit bizonyítani tud. Ebből nem következik, hogy minden más helyes.
A "Bizonyítottan lehetetlen" fül hiánya azt jelenti, hogy "semmi sem bizonyult lehetetlennek". Nem azt jelenti, hogy "ez meg fog oldódni".
⚠ Ez az oldal legfontosabb mondata, és a képernyőn könnyű elnézni: a fül egyszerűen hiányzik, így nincs mit olvasni és nincs mire kattintani. A hiány a jó eredmény, nem a teljes.
Egy órarend számtanilag lehetséges lehet, és mégis sok időt vehet igénybe a FET számára. Még mindig szükség lehet a szabályok enyhítésére, mielőtt elkészül. Lásd: Amit nem tud elmondani.