Fonction de la vérification préalable

FET peut passer beaucoup de temps à échouer. Une seule règle rendant une leçon impossible à placer ne se manifeste pas — le solveur cherche, cherche, et finit par abandonner ou ne rien produire.

La vérification pré-vol lit vos règles et effectue d'abord les calculs. Lorsqu'elle peut prouver qu'un Planning est impossible, elle le dit en quelques secondes et nomme les règles responsables.

Où elle se trouve

La vérification pré-vol se trouve avec les contraintes sur l'écran de données du Planning. Elle est disponible pour les personnes qui peuvent modifier le Planning — c'est un outil pour la personne qui établit les règles.

Chaque section de contraintes comporte également un résumé d'une ligne en haut, afin que vous voyiez l'état des choses pendant que vous travaillez plutôt que seulement lorsque vous allez chercher.

Le rapport : un verdict, puis chaque constatation avec les règles qui la sous-tendent.

Où les calculs sont effectués

La vérification ne s'exécute pas dans votre navigateur. Votre navigateur lit vos règles et envoie un résumé à notre serveur. Notre serveur effectue les calculs et renvoie les constatations.

Le résumé ne contient aucun nom. Les Enseignants, les Salles, les Matières et les groupes d'Apprenants sont transmis sous forme de nombres, et votre navigateur remet les noms avant d'afficher le rapport.

Nous ne stockons rien de la vérification. La vérification génère à nouveau le rapport à partir de vos règles actuelles chaque fois que vous l'ouvrez.

Cela a une conséquence pratique à connaître : elle est suffisamment rapide pour être utilisée comme un outil de travail. Modifiez une règle, revenez, regardez à nouveau.

Ce qu'elle lit réellement

Vos contraintes, telles qu'elles sont — pas un Planning résolu. Elle ne place jamais de leçon et ne modifie jamais rien.

Ce qu'elle fait, c'est des calculs sur l'espace qu'il vous reste :

• Combien d'heures un Enseignant est engagé, par rapport au nombre de créneaux qui lui restent disponibles.
• Quelles heures de début une leçon pourrait légalement prendre, une fois que chaque règle qui la concerne a été appliquée.
• Si deux leçons qui doivent toutes deux avoir lieu sont forcées dans le même créneau tout en partageant un Enseignant, une Salle ou une classe.
• Si un groupe de leçons exige plus de jours distincts que la semaine n'en contient.

Lorsque les calculs ne laissent aucune marge, ce n'est pas une opinion sur la difficulté. C'est une preuve, et la vérification le dit.

Que faire avec elle

Exécutez-la avant d'envoyer un projet à FET, et à nouveau après un changement important. Un rapport propre n'est pas une promesse que FET résoudra rapidement — voir Ce qu'elle ne peut pas vous dire — mais un rapport contenant une constatation prouvée impossible vous indique que la résolution ne peut pas réussir, ce qui vaut la peine d'être su avant plutôt qu'après.

Le rapport est en quatre parties

Le rapport ne classe pas les constatations en fonction de leur gravité perçue. Il les trie par ce qu'il peut prouver, en quatre catégories : Prouvé impossible, Erreurs, Ce qui rend ce fichier difficile, et Ce qui a été exécuté sur ce fichier.

Chaque catégorie est un onglet, et chaque onglet a son propre décompte. Une catégorie vide n'a pas d'onglet du tout, donc un fichier 'calme' affiche moins d'onglets qu'un fichier 'chargé'. Le premier onglet contenant quelque chose s'ouvre automatiquement.

Un groupe avec de nombreuses constatations les affiche sous forme de liste plutôt que de cartes. Sélectionnez une ligne pour voir les calculs qui la sous-tendent à côté de la liste.

Seule la première catégorie prouve que FET ne peut pas construire le Planning. Voir Les quatre catégories de constatations.

Connexions

Connexions répond à une question différente : non pas ce qui ne va pas, mais ce qui est attaché à cet Enseignant.

Choisissez un Enseignant, un groupe d'Apprenants ou une Salle. Vous obtenez leurs Activités, les règles qui les nomment, les ressources avec lesquelles ils partagent une Salle ou un créneau, et une représentation de ces liens. Sélectionnez n'importe quel nœud dans l'image pour déplacer la vue vers celui-ci.

La couleur d'un nœud indique ce qu'il est — un Enseignant, un groupe d'Apprenants, une Salle ou une règle. Un anneau autour d'un nœud indique que la vérification a trouvé quelque chose à son sujet. Un anneau rouge plein marque une erreur. Un anneau ambre brisé marque un avertissement. La plupart des fichiers n'ont aucun anneau, et c'est l'état normal.

Une ligne grise brisée entre deux règles signifie qu'elles disent la même chose deux fois.

Les entités sans rien d'attaché sont masquées jusqu'à ce que vous les demandiez, car un fichier volumineux en déclare beaucoup qui ne contiennent aucune Activité.

Où aller ensuite

• Les quatre catégories de constatations — ce que chaque catégorie promet réellement.
• Corriger ce qu'elle trouve
• Ce qu'elle ne peut pas vous dire