I quattro tipi di ricerca
Il controllo classifica ogni risultato in quattro tipi. Solo il primo tipo dimostra che FET non può costruire l'orario.
La maggior parte degli strumenti di controllo ordina i risultati in base alla loro gravità percepita. Questo li ordina in base a ciò che può dimostrare. Il rapporto mostra quattro tipi, sempre in quest'ordine.
Ogni tipo è una scheda con il proprio conteggio. Un tipo che non ha trovato nulla non ha una scheda, quindi non ne vedrai una vuota.
Dimostrato impossibile
Sullo schermo: Aritmetica, non un'ipotesi.
Il controllo raggiunge ogni risultato qui contando. Confronta le ore impegnate con gli slot liberi. Riduce a zero gli orari di inizio legali di un'attività. Trova due attività che devono svolgersi contemporaneamente e condividere un insegnante.
Puoi agire su questi risultati senza controllarli tu stesso. Se il rapporto dice che un'attività non ha un orario di inizio legale, il risolutore non può trovarne uno.
Questo è il contratto dello strumento. Il controllo non riporta mai un risultato qui che non può dimostrare. Uno strumento che solleva un falso allarme è uno strumento a cui smetti di credere.
Errori
Sullo schermo: Qualcosa qui probabilmente non è quello che intendevi.
Questi risultati non impediscono una risoluzione. Mostrano che le tue regole dicono qualcosa che probabilmente non intendevi.
- Una regola punta a qualcosa che non esiste più.
- Una regola mira a un'attività che hai disattivato.
- Due regole dicono esattamente la stessa cosa.
- Una preferenza soft non può mai essere applicata, quindi FET la ignora.
Nessuno di questi rende un orario impossibile. Regole che nessuno capisce causano il mistero del prossimo trimestre.
Cosa rende difficile questo file
Sullo schermo: Questo non è un problema. È il lavoro che il risolutore deve fare.
Niente qui è sbagliato. Questo tipo descrive la pressione nel tuo file. Nomina le attività che non hanno quasi più spazio. Nomina le parti della settimana che sono strette.
⚠ Leggi questo tipo prima di rendere la settimana più stretta.
L'intestazione cambia per un file risolto. Poi recita Cosa ha reso difficile questo file, perché il lavoro è completo.
Cosa è stato eseguito su questo file
Sullo schermo: Tipi di regole che elenchiamo e contiamo, mai giudichiamo.
Questo tipo è discreto e riporta sul controllo stesso piuttosto che sul tuo file. Elenca i tipi di regole che ha contato. Ti dice quando la tua modalità risolutore impedisce l'esecuzione di un controllo. Ti dice quando il controllo si è interrotto in anticipo su un file molto grande.
Leggi questo tipo quando il rapporto sembra più vuoto di quanto ti aspettassi. Di solito spiega il perché.
Una scheda mancante non è una garanzia
Il controllo riporta ciò che può dimostrare. Non ne consegue che tutto il resto sia corretto.
Nessuna scheda "Dimostrato impossibile" significa "nulla è stato dimostrato impossibile". Non significa "questo si risolverà".
⚠ Questa è la frase più importante della pagina, e lo schermo la rende facile da perdere: la scheda è semplicemente assente, quindi non c'è niente da leggere e niente da cliccare. L'assenza è il buon risultato, non quello completo.
Un orario può essere possibile aritmeticamente e richiedere comunque molto tempo a FET. Potrebbe comunque aver bisogno di regole allentate prima di essere completato. Vedi Cosa non può dirti.