De fire søgemuligheder
Kontrollen sorterer alle fund i fire slags, hvoraf kun den første slags beviser, at FET ikke kan opbygge skemaet.
De fleste kontrolværktøjer sorterer deres fund efter, hvor alvorlige de føles. Dette sorterer dem efter, hvad det kan bevise. Rapporten viser fire typer, altid i denne rækkefølge.
Hver type er en fane med sin egen tæller. En type, der ikke fandt noget, har ingen fane, så du vil ikke se en tom.
Bevist umuligt
På skærmen: Aritmetik, ikke et gæt.
Kontrollen når frem til hvert fund her ved at tælle. Den sammenligner tildelte timer med ledige tidsrum. Den reducerer de lovlige starttider for en aktivitet til nul. Den finder to aktiviteter, der skal køre på samme tid og dele en lærer.
Du kan handle på disse fund uden selv at kontrollere dem. Hvis rapporten siger, at en aktivitet ikke har nogen lovlig starttid, kan løseren heller ikke finde en.
Dette er værktøjets kontrakt. Kontrollen rapporterer aldrig et fund her, som den ikke kan bevise. Et værktøj, der udløser én falsk alarm, er et værktøj, du holder op med at tro på.
Fejl
På skærmen: Noget her er sandsynligvis ikke, hvad du mente.
Disse fund stopper ikke en løsning. De viser, at dine regler siger noget, du sandsynligvis ikke havde til hensigt.
- En regel peger på noget, der ikke længere eksisterer.
- En regel retter sig mod en aktivitet, som du har slået fra.
- To regler siger præcis det samme.
- En blød præference kan aldrig anvendes, så FET ignorerer den.
Ingen af disse gør et skema umuligt. Regler, som ingen forstår, forårsager næste semesters mysterie.
Hvad der gør denne fil svær
På skærmen: Dette er ikke et problem. Det er det arbejde, løseren skal udføre.
Intet her er forkert. Denne type beskriver presset i din fil. Den navngiver de aktiviteter, der næsten ikke har plads tilbage. Den navngiver de dele af ugen, der er stramme.
⚠ Læs denne type, før du gør ugen strammere.
Overskriften ændres for en løst fil. Den lyder derefter Hvad der gjorde denne fil svær, fordi arbejdet er fuldført.
Hvad der kørte på denne fil
På skærmen: Regeltyper vi lister og tæller, aldrig bedømmer.
Denne type er stille, og den rapporterer om selve kontrollen snarere end om din fil. Den lister de regeltyper, den talte. Den fortæller dig, når din løsertilstand forhindrer en kontrol i at køre. Den fortæller dig, når kontrollen stoppede tidligt på en meget stor fil.
Læs denne type, når rapporten ser tomere ud, end du forventede. Den forklarer som regel hvorfor.
En manglende fane er ikke en garanti
Kontrollen rapporterer, hvad den kan bevise. Det følger ikke heraf, at alt andet er korrekt.
Ingen "Bevist umuligt"-fane betyder "intet blev bevist umuligt". Det betyder ikke "dette vil løse".
⚠ Dette er den vigtigste sætning på siden, og skærmen gør det nemt at overse: fanen er simpelthen fraværende, så der er intet at læse og intet at klikke på. Fravær er det gode resultat, ikke det komplette.
Et skema kan være muligt i aritmetik og stadig tage FET lang tid. Det kan stadig kræve, at regler lempes, før det falder på plads. Se Hvad det ikke kan fortælle dig.