Què fa la comprovació prèvia
Una comprovació que llegeix les vostres regles i demostra si és possible construir un horari, abans que passeu una tarda descobrint-ho.
FET pot passar molt de temps fallant. Una única regla que fa que una lliçó no es pugui ubicar no s'anuncia — el solucionador simplement busca, i busca, i finalment es rendeix o no produeix res.
La comprovació prèvia al vol llegeix les vostres regles i fa els càlculs primer. Quan pot demostrar que un horari és impossible, ho diu en segons i nomena les regles responsables.
On és
Comprovació prèvia al vol es troba amb les restriccions a la pantalla de dades de l'horari. Està disponible per a les persones que poden editar l'horari — és una eina per a la persona que construeix les regles.
Cada secció de restriccions també inclou un resum d'una línia a la part superior, de manera que veieu l'estat de les coses mentre treballeu en lloc de només quan aneu a buscar-les.
L'informe: un veredicte, i després cada troballa amb les regles que la sustenten.
On s'executen els càlculs
La comprovació no s'executa al vostre navegador. El vostre navegador llegeix les vostres regles i envia un resum al nostre servidor. El nostre servidor fa els càlculs i envia les troballes de tornada.
El resum no conté noms. Professors, aules, matèries i grups d'estudiants viatgen com a números, i el vostre navegador torna a posar els noms abans de mostrar l'informe.
No emmagatzemem res de la comprovació. La comprovació construeix l'informe de nou a partir de les vostres regles actuals cada vegada que l'obriu.
Això té una conseqüència pràctica que val la pena saber: és prou ràpid per utilitzar-lo com a eina de treball. Canvieu una regla, torneu, mireu de nou.
Què està llegint realment
Les vostres restriccions, tal com estan — no un horari resolt. Mai ubica una lliçó i mai modifica res.
El que fa són càlculs sobre l'espai que us queda:
- Quantes hores un professor està compromès, enfront de quants períodes li queden disponibles.
- Quins horaris d'inici podria prendre legalment una lliçó, un cop s'ha aplicat cada regla que la toca.
- Si dues lliçons que han de tenir lloc es veuen forçades al mateix període mentre comparteixen un professor, una aula o una classe.
- Si un grup de lliçons exigeix més dies diferents dels que conté la setmana.
Quan els càlculs no deixen espai, això no és una opinió sobre la dificultat. És una prova, i la comprovació ho diu.
Què fer-ne
Executeu-lo abans d'enviar un projecte a FET, i de nou després d'un canvi important. Un informe net no és una promesa que FET resoldrà ràpidament — vegeu Què no us pot dir — però un informe amb una troballa provada-impossible us diu que la resolució no pot tenir èxit, cosa que val la pena saber abans que després.
L'informe consta de quatre parts
L'informe no classifica les troballes per la seva gravetat percebuda. Les ordena pel que pot provar, en quatre tipus: Provat impossible, Errors, Què fa que aquest fitxer sigui difícil, i Què es va executar en aquest fitxer.
Cada tipus és una pestanya, i cada pestanya té el seu propi recompte. Un tipus sense res no té cap pestanya, de manera que un fitxer tranquil mostra menys pestanyes que un de ocupat. La primera pestanya amb contingut s'obre sola.
Un grup amb moltes troballes les mostra com una llista en lloc de com a targetes. Seleccioneu una fila per veure els càlculs que la sustenten al costat de la llista.
Només el primer tipus demostra que FET no pot construir l'horari. Vegeu Els quatre tipus de troballes.
Connexions
Connexions respon a una pregunta diferent: no què està malament, sinó què està adjunt a aquest professor.
Trieu un professor, un grup d'estudiants o una aula. Obtindreu les seves activitats, les regles que els nomenen, els recursos amb els quals comparteixen una aula o un període, i una imatge d'aquests enllaços. Seleccioneu qualsevol node de la imatge per moure la vista cap a ell.
El color d'un node indica què és — un professor, un grup d'estudiants, una aula o una regla. Un anell al voltant d'un node indica que la comprovació hi va trobar alguna cosa. Un anell vermell sòlid marca un error. Un anell ambre trencat marca un avís. La majoria dels fitxers no tenen anells, i aquest és l'estat normal.
Una línia grisa trencada entre dues regles significa que diuen el mateix dues vegades.
Les entitats sense res adjunt estan ocultes fins que les demaneu, perquè un fitxer gran en declara moltes que no tenen activitats.
On anar a continuació
- Els quatre tipus de troballes — què promet realment cada tipus.
- Com solucionar el que troba
- Què no us pot dir