Qué hace la comprobación previa
Una comprobación que lee tus restricciones y demuestra si se puede generar un horario, antes de que dediques una noche a descubrirlo.
FET puede pasar mucho tiempo fallando. Una sola regla que hace que una lección sea imposible de ubicar no se anuncia; el solucionador simplemente busca, y busca, y finalmente se rinde o no produce nada.
La verificación previa al vuelo lee sus reglas y hace los cálculos primero. Donde puede probar que un horario es imposible, lo dice en segundos y nombra las reglas responsables.
Dónde está
Verificación previa al vuelo se encuentra con las restricciones en la pantalla de datos del horario. Está disponible para las personas que pueden editar el horario; es una herramienta para la persona que construye las reglas.
Cada sección de restricciones también lleva un resumen de una línea en la parte superior, para que vea el estado de las cosas mientras trabaja en lugar de solo cuando las busca.
El informe: un veredicto, luego cada hallazgo con las reglas que lo respaldan.
Dónde se ejecutan los cálculos
La verificación no se ejecuta en su navegador. Su navegador lee sus reglas y envía un resumen a nuestro servidor. Nuestro servidor hace los cálculos y envía los hallazgos de vuelta.
El resumen no lleva nombres. Profesores, aulas, materias y grupos de alumnos viajan como números, y su navegador vuelve a colocar los nombres antes de mostrar el informe.
No almacenamos nada de la verificación. La verificación construye el informe nuevamente a partir de sus reglas actuales cada vez que lo abre.
Eso tiene una consecuencia práctica que vale la pena conocer: es lo suficientemente rápido como para usarlo como herramienta de trabajo. Cambie una regla, vuelva, mire de nuevo.
Qué está leyendo realmente
Sus restricciones, tal como están, no un horario resuelto. Nunca ubica una lección y nunca modifica nada.
Lo que hace son cálculos sobre el espacio que le queda:
- Cuántas horas está comprometido un profesor, frente a cuántos espacios quedan disponibles para él.
- Qué horas de inicio podría tomar legalmente una lección, una vez que se haya aplicado cada regla que la toca.
- Si dos lecciones que deben ocurrir ambas se ven forzadas al mismo espacio mientras comparten un profesor, un aula o una clase.
- Si un grupo de lecciones exige más días distintos de los que contiene la semana.
Cuando los cálculos no dejan espacio, eso no es una opinión sobre la dificultad. Es una prueba, y la verificación lo dice.
Qué hacer con él
Ejecútelo antes de enviar un proyecto a FET, y de nuevo después de un cambio grande. Un informe limpio no es una promesa de que FET resolverá rápidamente — vea Lo que no puede decirle — pero un informe con un hallazgo de imposibilidad probada le dice que la solución no puede tener éxito, lo cual vale la pena saber antes que después.
El informe tiene cuatro partes
El informe no clasifica los hallazgos por lo graves que parecen. Los clasifica por lo que puede probar, en cuatro tipos: Imposible probado, Errores, Lo que hace que este archivo sea difícil y Lo que se ejecutó en este archivo.
Cada tipo es una pestaña, y cada pestaña lleva su propio recuento. Un tipo sin nada no tiene ninguna pestaña, por lo que un archivo tranquilo muestra menos pestañas que uno ocupado. La primera pestaña con algo se abre sola.
Un grupo con muchos hallazgos los muestra como una lista en lugar de como tarjetas. Seleccione una fila para ver los cálculos detrás de ella junto a la lista.
Solo el primer tipo prueba que FET no puede construir el horario. Vea Los cuatro tipos de hallazgos.
Conexiones
Conexiones responde a una pregunta diferente: no qué está mal, sino qué está adjunto a este profesor.
Elija un profesor, un grupo de alumnos o un aula. Obtendrá sus actividades, las reglas que los nombran, los recursos con los que comparten un aula o un espacio, y una imagen de esos enlaces. Seleccione cualquier nodo en la imagen para mover la vista a él.
El color de un nodo indica qué es — un profesor, un grupo de alumnos, un aula o una regla. Un anillo alrededor de un nodo indica que la verificación encontró algo al respecto. Un anillo rojo sólido marca un error. Un anillo ámbar roto marca una advertencia. La mayoría de los archivos no tienen anillos, y ese es el estado normal.
Una línea gris discontinua entre dos reglas significa que dicen lo mismo dos veces.
Las entidades sin nada adjunto están ocultas hasta que las solicite, porque un archivo grande declara muchas que no tienen actividades.
Dónde ir a continuación
- Los cuatro tipos de hallazgos — lo que cada tipo promete realmente.
- Cómo solucionar lo que encuentra
- Lo que no puede decirle