Hvad forhåndstjekket gør

FET kan bruge lang tid på at fejle. En enkelt regel, der gør en lektion umulig at placere, giver ikke sig selv til kende — løseren søger og søger og giver til sidst op eller producerer intet.

Forhåndstjekket læser dine regler og udfører først beregningerne. Hvor det kan bevise, at et skema er umuligt, siger det det på få sekunder og navngiver de ansvarlige regler.

Hvor det er

Forhåndstjek findes sammen med begrænsningerne på skemaets dataskærm. Det er tilgængeligt for personer, der kan redigere skemaet — det er et værktøj for den person, der opbygger reglerne.

Hver begrænsningssektion indeholder også en enkeltlinjes oversigt øverst, så du ser tingenes tilstand, mens du arbejder, snarere end kun når du leder efter det.

Rapporten: en dom, derefter hvert fund med reglerne bag det.

Hvor beregningerne kører

Tjekket kører ikke i din browser. Din browser læser dine regler og sender en oversigt til vores server. Vores server udfører beregningerne og sender resultaterne tilbage.

Oversigten indeholder ingen navne. Lærere, lokaler, emner og elevgrupper overføres som tal, og din browser sætter navnene tilbage, før den viser rapporten.

Vi gemmer intet fra tjekket. Tjekket opbygger rapporten igen ud fra dine nuværende regler, hver gang du åbner det.

Det har en praktisk konsekvens, der er værd at kende: det er hurtigt nok til at bruge som et arbejdsredskab. Skift en regel, kom tilbage, se igen.

Hvad det faktisk læser

Dine begrænsninger, som de er — ikke et løst skema. Det placerer aldrig en lektion og ændrer aldrig noget.

Hvad det gør, er at udføre beregninger på den plads, du har tilbage:

• Hvor mange timer en lærer er forpligtet til, sammenholdt med hvor mange ledige tidsrum de har tilbage.
• Hvilke starttider en lektion lovligt kunne have, når alle regler, der vedrører den, er blevet anvendt.
• Om to lektioner, der begge skal finde sted, tvinges ind i samme tidsrum, mens de deler en lærer, et lokale eller en klasse.
• Om en gruppe lektioner kræver flere forskellige dage, end ugen indeholder.

Når beregningerne ikke efterlader plads, er det ikke en mening om sværhedsgrad. Det er et bevis, og tjekket siger det.

Hvad man skal gøre med det

Kør det, før du sender et projekt til FET, og igen efter en stor ændring. En ren rapport er ikke et løfte om, at FET vil løse hurtigt — se Hvad det ikke kan fortælle dig — men en rapport med et bevist umuligt fund fortæller dig, at løsningen ikke kan lykkes, hvilket er værd at vide før snarere end efter.

Rapporten er i fire dele

Rapporten grader ikke fund efter, hvor alvorlige de føles. Den sorterer dem efter, hvad den kan bevise, i fire typer: Bevist umuligt, Fejl, Hvad der gør denne fil svær og Hvad der kørte på denne fil.

Hver type er en fane, og hver fane har sin egen tæller. En type uden indhold har ingen fane overhovedet, så en rolig fil viser færre faner end en travl. Den første fane med indhold åbner af sig selv.

En gruppe med mange fund viser dem som en liste snarere end som kort. Vælg en række for at se beregningerne bag den ved siden af listen.

Kun den første type beviser, at FET ikke kan bygge skemaet. Se De fire typer fund.

Forbindelser

Forbindelser besvarer et andet spørgsmål: ikke hvad der er galt, men hvad der er knyttet til denne lærer.

Vælg en lærer, en elevgruppe eller et lokale. Du får deres aktiviteter, de regler, der navngiver dem, de ressourcer, de deler et lokale eller et tidsrum med, og et billede af disse links. Vælg enhver node i billedet for at flytte visningen til den.

Farven på en node angiver, hvad den er — en lærer, en elevgruppe, et lokale eller en regel. En ring omkring en node angiver, at tjekket fandt noget om den. En solid rød ring markerer en fejl. En brudt ravfarvet ring markerer en advarsel. De fleste filer har ingen ringe overhovedet, og det er den normale tilstand.

En brudt grå linje mellem to regler betyder, at de siger det samme to gange.

Enheder uden noget tilknyttet er skjult, indtil du beder om dem, fordi en stor fil erklærer mange, der ikke indeholder aktiviteter.

Hvor du skal gå hen næste gang

• De fire typer fund — hvad hver type faktisk lover.
• Retning af det, den finder
• Hvad den ikke kan fortælle dig