Os catro tipos de busca
A comprobación clasifica cada resultado en catro tipos. Só o primeiro tipo proba que FET non pode construír o horario.
A maioría das ferramentas de verificación clasifican os seus achados pola súa gravidade percibida. Esta clasifícaos polo que pode probar. O informe mostra catro tipos, sempre nesta orde.
Cada tipo é unha pestana coa súa propia conta. Un tipo que non atopou nada non ten pestana, polo que non verá unha baleira.
Probado imposible
Na pantalla: Aritmética, non unha suposición.
A verificación chega a cada achado aquí contando. Compara as horas comprometidas coas franxas libres. Reduce os tempos de inicio legais dunha actividade a ningún. Atopa dúas actividades que deben executarse ao mesmo tempo e compartir un profesor.
Pode actuar sobre estes achados sen verificalos vostede mesmo. Se o informe di que unha actividade non ten tempo de inicio legal, o resolvedor tampouco pode atopar un.
Este é o contrato da ferramenta. A verificación nunca informa dun achado aquí que non poida probar. Unha ferramenta que lanza unha falsa alarma é unha ferramenta na que deixa de crer.
Erros
Na pantalla: Algo aquí probablemente non é o que quería dicir.
Estes achados non impiden unha resolución. Mostran que as súas regras din algo que probablemente non pretendía.
- Unha regra apunta a algo que xa non existe.
- Unha regra diríxese a unha actividade que desactivou.
- Dúas regras din exactamente o mesmo.
- Unha preferencia suave nunca se pode aplicar, polo que FET a ignora.
Ningún destes fai que un horario sexa imposible. As regras que ninguén entende causan o misterio do próximo trimestre.
O que fai que este ficheiro sexa difícil
Na pantalla: Isto non é un problema. É o traballo que o resolvedor debe facer.
Nada aquí está mal. Este tipo describe a presión no seu ficheiro. Nomea as actividades que case non teñen espazo. Nomea as partes da semana que están axustadas.
⚠ Lea este tipo antes de facer a semana máis axustada.
O título cambia para un ficheiro resolto. Entón le O que fixo que este ficheiro fose difícil, porque o traballo está completo.
O que se executou neste ficheiro
Na pantalla: Tipos de regras que listamos e contamos, nunca xulgamos.
Este tipo é discreto, e informa sobre a propia verificación en lugar de sobre o seu ficheiro. Lista os tipos de regras que contou. Dille cando o seu modo de resolvedor impide que se execute unha verificación. Dille cando a verificación se detivo cedo nun ficheiro moi grande.
Lea este tipo cando o informe pareza máis baleiro do que esperaba. Normalmente explica por que.
Unha pestana ausente non é unha garantía
A verificación informa do que pode probar. Non se deduce que todo o demais sexa correcto.
A ausencia da pestana "Probado imposible" significa "nada foi probado imposible". Non significa "isto resolverase".
⚠ Esta é a frase máis importante da páxina, e a pantalla fai que sexa fácil pasala por alto: a pestana simplemente está ausente, polo que non hai nada que ler nin nada que facer clic. A ausencia é o bo resultado, non o completo.
Un horario pode ser posible en aritmética e aínda así levarlle moito tempo a FET. Aínda pode necesitar que se relaxen as regras antes de que se consiga. Vexa O que non pode dicirlle.