Index of exceptions

Si la recherche exhaustive n'aboutit pas.

Si on a aucune solution au puzzle.

Si on tente de rajouter une pièce sur une case qui n'est pas vide (ie qui ne contient pas un élément de type piece option, réduit à "None").

Si on demande le temps du chronomètre sans qu'il soit actif !

Si lors de l'écriture dans un fichier externe, l'utilisateur refuse de l'écraser.

Si l'utilisateur demande l'interruption d'une des fonctions d'écritures.

Pendant la vérification de la validité d'un plateau, signale une erreur entre deux pièces, horizontalement, entre la case (i,j) et (i+1,j).

Si une paire de pièce ne satisfait pas h, la relation de satisfaisabilité horizontale.

Pendant la vérification de la validité d'un plateau, signale une erreur entre deux pièces, verticalement, entre la case (i,j) et (i,j+1).

Si une paire de pièce ne satisfait pas v, la relation de satisfaisabilité verticale.

Si pendant la résolution on tente de replacer une pièce là ou en avait déja fixé une.

Si on a cherché a se débarasser d'un élément de type 'a option valant "None".

L'écran d'un ordinateur étant limité en taille, on interdit de dessiner des plateaux trop grand.

Deux exceptions si on veut tracer un plateau trop grand pour la taille de fenètre qu'on peut utiliser.

De même si trop grand verticalement.

On utilise beaucoup l'outil "Zenity", par l'appel en exécutant des lignes de commandes, via le module "Sys" et sa précieuse fonction "Sys.command".

Pour gérer le code de retour d'un processus Unix lancé par la commande "Sys.command" en ocaml.

Pour gérer le code de retour d'un processus Unix lancé par la commande "Sys.command" en ocaml.

Lors de la lecture d'une instance déja écrite dans un fichier, si le contenu du dit-fichier n'est pas valide avec la "syntaxe" du format, cette exception est levée.

Si l'utilisateur choisi de fermer l'interface graphique, c'est cette exception qui est propageé.

Si une action fait arréter l'interface.

Pendant le test suivant, une interuption du test lève cette exception.

Pour permettre de stopper le test suivant.

Si on a construit par erreur un mauvais tableau.

Si lors de la lecture d'un plateau dans un fichier extérieure (ie : une solution possible, ou partielle), on découvre une erreur.

Dès qu'on a un plateau satisfaisant pendant la recherche (exhaustive), cette exception est renvoyée.

Notre procédure de recherche sera exhaustive, et donc possiblement peu efficace.

Idem, mais en donnant le dit-plateau en plus.

L'exception qui est renvoyé si le processus appelé par les fonctions suivantes retourne un code d'erreur UNIX spécifiant une erreur.