Wat de voorbereidende controle doet

FET kan lange tijd mislukken. Een enkele regel die een les onplaatsbaar maakt, kondigt zichzelf niet aan — de oplosser zoekt simpelweg, en zoekt, en geeft uiteindelijk op of produceert niets.

De pre-flight controle leest eerst uw regels en voert de berekeningen uit. Waar het kan bewijzen dat een rooster onmogelijk is, zegt het dat binnen enkele seconden en noemt het de verantwoordelijke regels.

Waar het is

Pre-flight bevindt zich bij de voorwaarden op het gegevensscherm van het rooster. Het is beschikbaar voor mensen die het rooster kunnen bewerken — het is een hulpmiddel voor de persoon die de regels opstelt.

Elke sectie met voorwaarden bevat bovenaan ook een samenvatting van één regel, zodat u de stand van zaken ziet terwijl u werkt, in plaats van alleen wanneer u ernaar zoekt.

Het rapport: een oordeel, vervolgens elke bevinding met de achterliggende regels.

Waar de berekeningen worden uitgevoerd

De controle wordt niet in uw browser uitgevoerd. Uw browser leest uw regels en stuurt een samenvatting naar onze server. Onze server voert de berekeningen uit en stuurt de bevindingen terug.

De samenvatting bevat geen namen. Docenten, lokalen, vakken en studentengroepen reizen als nummers, en uw browser zet de namen terug voordat het het rapport toont.

We slaan niets op van de controle. De controle bouwt het rapport elke keer dat u het opent opnieuw op basis van uw huidige regels.

Dat heeft een praktisch gevolg dat het waard is om te weten: het is snel genoeg om als werkinstrument te gebruiken. Wijzig een regel, kom terug, kijk opnieuw.

Wat het daadwerkelijk leest

Uw voorwaarden, zoals ze zijn — geen opgelost rooster. Het plaatst nooit een les en wijzigt nooit iets.

Wat het doet, zijn berekeningen op de ruimte die u over heeft:

• Hoeveel uren een docent is gebonden, tegenover hoeveel tijdsloten er voor hen beschikbaar blijven.
• Welke begintijden een les legaal zou kunnen innemen, zodra elke regel die erop van toepassing is, is toegepast.
• Of twee lessen die beide moeten plaatsvinden, in hetzelfde tijdslot worden gedwongen terwijl ze een docent, een lokaal of een studentengroep delen.
• Of een groep lessen meer afzonderlijke dagen vereist dan de week bevat.

Wanneer de berekeningen geen ruimte overlaten, is dat geen mening over moeilijkheidsgraad. Het is een bewijs, en de controle zegt dat.

Wat u ermee kunt doen

Voer het uit voordat u een project naar FET stuurt, en opnieuw na een grote wijziging. Een schoon rapport is geen belofte dat FET snel zal oplossen — zie Wat het u niet kan vertellen — maar een rapport met een bewezen-onmogelijke bevinding erin vertelt u dat de oplossing niet kan slagen, wat de moeite waard is om eerder dan later te weten.

Het rapport bestaat uit vier delen

Het rapport beoordeelt bevindingen niet op hoe ernstig ze aanvoelen. Het sorteert ze op wat het kan bewijzen, in vier soorten: Bewezen onmogelijk, Fouten, Wat dit bestand moeilijk maakt, en Wat op dit bestand is uitgevoerd.

Elke soort is een tabblad, en elk tabblad heeft zijn eigen telling. Een soort zonder inhoud heeft helemaal geen tabblad, dus een rustig bestand toont minder tabbladen dan een druk bestand. Het eerste tabblad met inhoud opent vanzelf.

Een groep met veel bevindingen toont ze als een lijst in plaats van als kaarten. Selecteer een rij om de achterliggende berekeningen naast de lijst te zien.

Alleen de eerste soort bewijst dat FET het rooster niet kan bouwen. Zie De vier soorten bevindingen.

Verbindingen

Verbindingen beantwoordt een andere vraag: niet wat er mis is, maar wat er aan deze docent is gekoppeld.

Kies een docent, een studentengroep of een lokaal. U krijgt hun activiteiten, de regels die hen benoemen, de bronnen waarmee ze een lokaal of een tijdslot delen, en een afbeelding van die koppelingen. Selecteer een knooppunt in de afbeelding om de weergave ernaartoe te verplaatsen.

De kleur van een knooppunt zegt wat het is — een docent, een studentengroep, een lokaal of een regel. Een ring rond een knooppunt zegt dat de controle er iets over heeft gevonden. Een effen rode ring markeert een fout. Een onderbroken oranje ring markeert een waarschuwing. De meeste bestanden hebben helemaal geen ringen, en dat is de normale toestand.

Een onderbroken grijze lijn tussen twee regels betekent dat ze twee keer hetzelfde zeggen.

Entiteiten zonder koppelingen zijn verborgen totdat u ernaar vraagt, omdat een groot bestand veel entiteiten declareert die geen activiteiten bevatten.

Waar u hiernaartoe kunt gaan

• De vier soorten bevindingen — wat elke soort daadwerkelijk belooft.
• Oplossen wat het vindt
• Wat het u niet kan vertellen