Los cuatro tipos de búsqueda
La comprobación clasifica cada hallazgo en cuatro tipos, y solo el primer tipo demuestra que FET no puede construir el horario.
La mayoría de las herramientas de verificación clasifican sus hallazgos según su gravedad percibida. Esta los clasifica por lo que puede probar. El informe muestra cuatro tipos, siempre en este orden.
Cada tipo es una pestaña con su propio recuento. Un tipo que no encontró nada no tiene pestaña, por lo que no verá una vacía.
Imposibilidad probada
En pantalla: Aritmética, no una suposición.
La verificación llega a cada hallazgo aquí mediante el recuento. Compara las horas comprometidas con los espacios libres. Reduce los tiempos de inicio legales de una actividad a ninguno. Encuentra dos actividades que deben ejecutarse al mismo tiempo y compartir un profesor.
Puede actuar sobre estos hallazgos sin verificarlos usted mismo. Si el informe dice que una actividad no tiene un tiempo de inicio legal, el resolutor tampoco puede encontrar uno.
Este es el contrato de la herramienta. La verificación nunca informa un hallazgo aquí que no pueda probar. Una herramienta que genera una falsa alarma es una herramienta en la que dejas de creer.
Errores
En pantalla: Algo aquí probablemente no es lo que quiso decir.
Estos hallazgos no detienen una resolución. Muestran que sus reglas dicen algo que probablemente no pretendía.
- Una regla apunta a algo que ya no existe.
- Una regla se dirige a una actividad que desactivó.
- Dos reglas dicen exactamente lo mismo.
- Una preferencia suave nunca puede aplicarse, por lo que FET la ignora.
Ninguno de estos hace que un horario sea imposible. Las reglas que nadie entiende causan el misterio del próximo trimestre.
Lo que dificulta este archivo
En pantalla: Esto no es un problema. Es el trabajo que el resolutor debe hacer.
Nada aquí está mal. Este tipo describe la presión en su archivo. Nombra las actividades que casi no tienen espacio. Nombra las partes de la semana que están ajustadas.
⚠ Lea este tipo antes de ajustar más la semana.
El encabezado cambia para un archivo resuelto. Entonces dice Lo que dificultó este archivo, porque el trabajo está completo.
Lo que se ejecutó en este archivo
En pantalla: Tipos de reglas que listamos y contamos, nunca juzgamos.
Este tipo es discreto e informa sobre la verificación misma en lugar de sobre su archivo. Enumera los tipos de reglas que contó. Le dice cuándo su modo de resolutor impide que se ejecute una verificación. Le dice cuándo la verificación se detuvo antes de tiempo en un archivo muy grande.
Lea este tipo cuando el informe parezca más vacío de lo que esperaba. Generalmente explica por qué.
Una pestaña faltante no es una garantía
La verificación informa lo que puede probar. No se deduce que todo lo demás sea correcto.
La ausencia de la pestaña "Imposibilidad probada" significa "nada fue probado imposible". No significa "esto se resolverá".
⚠ Esta es la frase más importante de la página, y la pantalla hace que sea fácil pasarla por alto: la pestaña simplemente está ausente, por lo que no hay nada que leer ni nada que hacer clic. La ausencia es el resultado bueno, no el completo.
Un horario puede ser posible aritméticamente y aun así llevarle mucho tiempo a FET. Todavía puede necesitar que se relajen las reglas antes de que se concrete. Consulte Lo que no puede decirle.