Les quatre types de recherche
La vérification classe chaque constat en quatre types. Seul le premier type prouve que FET ne peut pas construire le planning.
La plupart des outils de vérification trient leurs résultats en fonction de leur gravité perçue. Celui-ci les trie en fonction de ce qu'il peut prouver. Le rapport présente quatre types, toujours dans cet ordre.
Chaque type est un onglet avec son propre décompte. Un type qui n'a rien trouvé n'a pas d'onglet, vous n'en verrez donc pas un vide.
Prouvé impossible
À l'écran : Arithmétique, pas une supposition.
La vérification parvient à chaque résultat ici par comptage. Elle compare les heures engagées aux périodes libres. Elle réduit à zéro les heures de début légales d'une activité. Elle trouve deux activités qui doivent se dérouler en même temps et partager un enseignant.
Vous pouvez agir sur ces résultats sans les vérifier vous-même. Si le rapport indique qu'une activité n'a pas d'heure de début légale, le solveur ne peut pas en trouver une non plus.
C'est le contrat de l'outil. La vérification ne signale jamais un résultat ici qu'elle ne peut pas prouver. Un outil qui déclenche une fausse alarme est un outil auquel vous cessez de croire.
Erreurs
À l'écran : Quelque chose ici n'est probablement pas ce que vous vouliez dire.
Ces résultats n'empêchent pas une résolution. Ils montrent que vos règles disent quelque chose que vous n'aviez probablement pas l'intention de dire.
- Une règle pointe vers quelque chose qui n'existe plus.
- Une règle cible une activité que vous avez désactivée.
- Deux règles disent exactement la même chose.
- Une préférence souple ne peut jamais s'appliquer, donc FET l'ignore.
Rien de tout cela ne rend un planning impossible. Des règles que personne ne comprend sont la cause du mystère du prochain trimestre.
Ce qui rend ce fichier difficile
À l'écran : Ce n'est pas un problème. C'est le travail que le solveur doit faire.
Rien ici n'est faux. Ce type décrit la pression dans votre fichier. Il nomme les activités qui n'ont presque plus de place. Il nomme les parties de la semaine qui sont serrées.
⚠ Lisez ceci avant de rendre la semaine plus serrée.
L'en-tête change pour un fichier résolu. Il indique alors Ce qui a rendu ce fichier difficile, car le travail est terminé.
Ce qui a été exécuté sur ce fichier
À l'écran : Types de règles que nous listons et comptons, sans jamais juger.
Ce type est discret et rend compte de la vérification elle-même plutôt que de votre fichier. Il liste les types de règles qu'il a comptés. Il vous indique quand votre mode de solveur empêche une vérification de s'exécuter. Il vous indique quand la vérification s'est arrêtée prématurément sur un très grand fichier.
Lisez ceci lorsque le rapport semble plus vide que prévu. Cela explique généralement pourquoi.
Une absence d'onglet n'est pas une garantie
La vérification rapporte ce qu'elle peut prouver. Il n'en découle pas que tout le reste est correct.
L'absence d'onglet « Prouvé impossible » signifie « rien n'a été prouvé impossible ». Cela ne signifie pas « cela se résoudra ».
⚠ C'est la phrase la plus importante de la page, et l'écran la rend facile à manquer : l'onglet est simplement absent, il n'y a donc rien à lire et rien à cliquer. L'absence est le bon résultat, pas le résultat complet.
Un planning peut être possible arithmétiquement et prendre beaucoup de temps à FET. Il peut encore nécessiter des règles assouplies avant qu'il ne soit finalisé. Voir Ce qu'il ne peut pas vous dire.