Index of values


A
actualise_couleur [Resolution]
Pour actualiser une couleur courante en fonction de la pièce considérée.
actualise_taille [Sig_interface]
Actualise la taille réelle de la fenêtre courante selon le nombre de pièces "n" et "m", en la calculant selon la taille des pièces "s".
actualise_taille [Interface]
aff_random [Sig_interface]
Un simple alias de la précédente.
aff_random [Interface]
Un alias, plus court.
afficher_instance [Sig_interface]
Pour afficher une instance dans la fenêtre courante.
afficher_instance [Interface]
Pour afficher une instance avant qu'elle ne soit résolue.
afficher_piece [Sig_interface]
Pour afficher une pièce "p" en position "x" et "y", avec une taille "s" (par défaut 30 pixel), et avec un nombre de couleur "c".
afficher_piece [Interface]
Les arguments 'x' et 'y' correspondent aux coordonnées du coin inférieur gauche de la pièce dessinée.
afficher_piece_option [Sig_interface]
La même chose, mais en laissant un espace blanc en cas de 'None' pour la piece option.
afficher_piece_option [Interface]
Celle-là est un simple raffinement de la précédente, elle ne fait rien si on lui donne un 'None' (je rappelle qu'un None dans une case du plateau signifie que rien n'a encore été fixé sur cette case là).
afficher_plateau [Sig_interface]
Pour afficher un plateau dans la fenêtre courante.
afficher_plateau [Interface]
Pour afficher un plateau.
aide_ic [Sig_interface]
Pour afficher une fenêtre Zenity contenant l'aide nommée ci dessus.
aide_ic [Interface]
Pour afficher cette aide dans une fenètre.
aide_interface [Sig_interface]
Chaine contenant l'aide de l'interface utilisateur.
aide_interface [Interface]
Le contenu de l'aide de l'interface graphique.
argument_suivant [Sig_resolution]
Fonction interne à la procédure de résolution.
argument_suivant [Resolution]
Fonction macro pour simplifier la rédaction de la première fonction de résolution.
array_ot_triple [Interface]
Passe d'un triplet à un tableau.
ask_couleur [Sig_interface]
Utilise Zenity pour demander à l'utilisateur de choisir une couleur dans une roue des couleurs RGB, et la renvoie.
ask_couleur [Interface]
Utilise zenity et les fonctions précédentes pour demander à l'utilisateur de choisir une couleur, en ouvrant une roue des couleurs RGB, l'enregistre dans un fichier temporaire, l'extraie via la fonction "parse_color", et la renvoie.
ask_echelle_couleur [Sig_interface]
Demande deux fois une couleurs, et renvoie une tableau de couleurs, formant un dégradé depuis la première jusqu'a la seconde.
ask_echelle_couleur [Interface]
Utilise 'ask_couleur' pour demander à l'utilisateur de choisir une échelle de couleur.
ask_fichier [Sig_interface]
Pour demander un nom de fichier à l'utilisateur.
ask_fichier [Interface]
Et j'utilise cela pour avoir une fonction intéractive de demande de fichier.
ask_int [Sig_interface]
Idem, pour demander la valeur d'un entier.
ask_int [Interface]
Utilise zenity et les fonctions précédentes pour demander à l'utilisateur de choisir un entier, en ouvrant un curseur, l'enregistre dans un fichier temporaire, et la renvoie.
ask_int_msg [Sig_interface]
La même, mais en spécifiant un message supplémentaire.
ask_int_msg [Interface]
La meme mais avec un message customisable.
ask_piece [Sig_interface]
Lance une demande intéractive de pièce : l'utilisateur doit choisir les 4 couleurs (haut, gauche, bas, droite), entre 1 et "c".
ask_piece [Interface]
Pour demander une pièce a l'utilisateur.
ask_position [Sig_interface]
Attends que l'utilisateur clique sur une des cases de la fenêtre.
ask_position [Interface]
Pour choisir la position de la pièce, à la souris.
ask_value [Sig_interface]
Idem, mais en demandant à l'utilisateur de renseigner lui même le nom de fichier, par exemple pour la capture d'écran (enregistrement au format jpg).
ask_value [Interface]
Pour réaliser une capture d'écran, le système invite l'utilisateur à choisir un nom pour sa capture, ce qui est réalisé avec cette fonction là.
auxi_melange_liste [Resolution]
Auxilliaire à la suivante.

B
bijection_couleur_color [Interface]
Pour transformer ce 'Graphics.color array' en une fonction : couleur -> Graphics.color.
browse_instance [Sig_interface]
Combine 'ask_fichier' avec 'lecture_instance'.
browse_instance [Interface]
Condense deux actions, pour permettre de directement renvoyé l'instance choisie dans le répertoire.

C
c [Interface]
calendar [Zenity]
capture_ecran [Sig_interface]
Pour faire une capture d'écran de la fenêtre courante.
capture_ecran [Interface]
Pour réaliser une capture d'écran.
change_echelle_globale [Interface]
Pour changer la valeur de l'échelle de couleur globale utilisée dans l'interface.
choisi_echelle_pertinente [Interface]
Pour se débrouiller seul : une fonction qui choisit l'échelle pertinente en fonction du nombre de couleurs.
chronometre_est_actif [Temps]
Idem, pour savoir si un chrono est en cours.
color_selection [Zenity]
compatible [Resolution]
Pour vérifier qu'un plateau ne contredit pas les compatibilités.
compatible_h [Sig_resolution]
Relation de compatibilité horizontale.
compatible_h [Resolution]
Relation de compatibilité horizontale.
compatible_h_option [Sig_resolution]
De même que "compatible_h", mais est toujours vrai dès qu'on l'utilise avec des cases sans pièces déja fixées.
compatible_h_option [Resolution]
Relation de compatibilité horizontale adaptée avec le type option.
compatible_v [Sig_resolution]
Relation de compatibilité verticale.
compatible_v [Resolution]
Relation de compatibilité horizontale.
compatible_v_option [Sig_resolution]
De même que "compatible_v", mais est toujours vrai dès qu'on l'utilise avec des cases sans pièces déja fixées.
compatible_v_option [Resolution]
Relation de compatibilité horizontale adaptée avec le type option.
convertir_temps [Temps]
Convertit un nombre de secondes en temps.
couleur_fond [Sig_interface]
La couleur qui est utilisé en fond de tous les dessins fait dans cette interface graphique.
couleur_fond [Interface]
On définit quelques constantes, afin que toutes les fonctions suivantes utilisent la même couleur de fond, et la même couleur de tracés.
couleur_lignes [Sig_interface]
La couleur qui est utilisé en fond de tous les dessins fait dans cette interface graphique.
couleur_lignes [Interface]
couleur_random [Sig_resolution]
Pour générer une couleur entre 1 et c aléatoirement.
couleur_random [Resolution]
Pour créer une couleur alétoire entre 1 et c.
creer_instance_random [Sig_resolution]
Pour générer une instance du problème aléatoirement.
creer_instance_random [Resolution]
Pour créer une instance aléatoire du problème.
creer_instance_random_et_affiche [Sig_interface]
Encore une fois, le nom et les paramètres sont ...
creer_instance_random_et_affiche [Interface]
Pour générer et afficher une instance aléatoire.
creer_liste_random [Resolution]
Fonction outil générale, Pour créer une liste d'élément générés aléatoires, créés par l'argument '~gen:<..>'.
creer_plateau_vide [Sig_resolution]
Pour créer un plateau vide à partir d'une instance.
creer_plateau_vide [Resolution]
Pour créer le plateau vide avec lequel on commence à travailler.

D
d_d [Interface]
d_d [Resolution]
decoupe [Resolution]
Pour découper une chaine de caractères en morceau, en commancant un nouveau morceau pour chaque 'e' trouvé.
demande_confirmation [Resolution]
demande_confirmation_graphique [Sig_interface]
Si le fichier destination choisi avec ask_value existe déja, une confirmation est demandée avant de l'écraser.
demande_confirmation_graphique [Interface]
Pour demander confirmation avant d'écraser un fichier.
dimX [Resolution]
Dimension selon x.
dimY [Resolution]
Dimension selon y.
draw_int [Sig_interface]
Ecrit la valeur de l'entier "i" en position "x" x "y".
draw_int [Interface]
Pour écrire un entier en commancant en un pixel précis.
draw_rect [Sig_interface]
Dessine un rectangle en renseignant les coordonnées du point inférieur gauche et supérieur droit.
draw_rect [Interface]
Pour dessiner une rectangle.

E
echelle_bleu [Interface]
Une échelle de bleu, simple.
echelle_globale_fichier_initialisee_une_fois [Sig_interface]
Voila l'échelle globale annoncée plus haut.
echelle_globale_fichier_initialisee_une_fois [Interface]
L'échelle de couleur utilisée par défaut dans le fichier.
echelle_gris [Interface]
Une échelle de gris, simple.
echelle_intelligente [Interface]
Une échelle adaptée selon le nombre de couleurs.
echelle_jaune [Interface]
Une échelle de jaune, simple.
echelle_metal [Interface]
Une échelle du jaune au rouge (style métal en fusion).
echelle_rouge [Interface]
Une échelle de rouge, simple.
echelle_vert [Interface]
Une échelle de vert, simple.
echelle_violet [Interface]
Une échelle de violet.
ecrire_dans_fichier [Zenity]
Ecrit la chaine chaine dans le fichier contenu à l'adresse relative ou absolue adresse.
ecrire_sortie [Resolution]
Pour faciliter la gestion des 'out_channel'.
ecrit_instance_browse [Interface]
Pour sauvegarder l'instance (ou le plateau) affiché à l'écran, on utilise cette fonction là.
ecrit_instance_browse_2 [Interface]
ecrit_instance_generee [Create_instance]
Pour sauvegarder l'instance aléatoire générée.
ecrit_instance_generee_sol [Create_instance_sol]
Pour sauvegarder l'instance aléatoire générée.
ecriture_instance [Sig_resolution]
Pour écrire une instance 'i' dans un fichier externe 'file', contenant une adresse relative OU absolue.
ecriture_instance [Resolution]
Pour écrire une instance.
ecriture_plateau [Sig_resolution]
Pour écrire un plateau "p" dans un fichier externe "file".
ecriture_plateau [Resolution]
Pour ecrire une solution (de type 'plateau') dans un fichier externe.
edit [Zenity]
Fournit un éditeur de texte minimal.
entry [Zenity]
error [Zenity]
Ouvre une fenètre d'erreur.
est_rajoutable [Sig_resolution]
Pour vérifier que la pièce "piece" est rajoutable en position "i" et "j" du plateau "pl".
est_rajoutable [Resolution]
Pour savoir si la piece '~pi' est rajoutable en case ('~i', '~j') du plateau courant '~pl'.
est_valide_plateau [Sig_resolution]
Test de validité d'un plateau.
est_valide_plateau [Resolution]
Pour vérifier qu'un plateau est valide.
ex [Interface]
ex [Resolution]
exemples_piece_aleatoire [Sig_interface]
Utilise 'trait_char' précédent pour réaliser une petite interface graphique, la première du fichier, qui dessine une nouvelle pièce a chaque clic de la souris.
exemples_piece_aleatoire [Interface]
Ce premier exemple était satisfaisant.

F
fail_recherche [Sig_interface]
Si la recherche exhaustive a échouée, un message informatif est affiché par cette fonction, qui deplus redessine l'instance qu'on tentait de résoudre dès que l'utilisateur a confirmé avoir lu le message informatif.
fail_recherche [Interface]
Si la recherche d'une solution à l'instance argument a échouée, affiche un message d'erreur, et actualise le titre de la fenêtre en fonction de cela.
faire [Sig_interface]
Exécute la commande présente dans la chaine argument, en renvoyant les erreurs au niveau supérieur.
faire [Interface]
Un peu de scripting en Ocaml.
faire0 [Temps]
Un peu de scripting en Ocaml.
fairezenity [Zenity]
Appel zenity avec une commande, et fork le résultat dans nom_fichier_temporaire
fbij_jolie_plus [Interface]
C'est celle là qu'on change selon le choix de l'utilisateur.
fbij_jolie_quatorze [Interface]
Echelle exemple jolie pour moins de 14 couleurs differentes.
file_selection [Zenity]
fill_custom [Sig_interface]
Pour remplir un polygone donné par le tableau de ses sommets d'une couleur d'indice donné.
fill_custom [Interface]
Pour remplir un polygone d'une certaine couleur, tout en sauvegardant la couleur courante et le point courant.
forms [Zenity]
from_rgb [Sig_interface]
from_rgb [Interface]
Pour récupérer les coordonnées (r,g,b) d'une couleur du module Graphics.

G
genere_echelle_couleur [Sig_interface]
Pour générer un tableau de couleurs par interpolation affine, selon deux couleurs "cmin" et "cmax", pour un nombre "nb" de couleurs différentes.
genere_echelle_couleur [Interface]
On procède uniquement par des dégradés : il faut choisir deux couleurs (min et max), et le nombre de couleurs voulues, et ca nous renvoit une échelle.
generer_instance_solution [Resolution]
Pour générer une instance aléatoire qui admette une solution.
generer_plateau_solution [Resolution]
Pour générer un plateau aléatoire qui soit déjà solution (chaque pièce est bien placée).

H
help [Zenity]
Affiche l'aide de zenity concernant le topic argument.

I
in_list [Resolution]
Test l'appartenance d'un élément a une liste
indices_suivants [Sig_resolution]
Pendant la résolution naïve, on parcours les indices ligne par ligne, dans l'ordre des i croissants, puis des j croissants (selon la convention d'indicages universelles pour les matrices, comme en C ou en Fortran par exemple).
indices_suivants [Resolution]
Pour trouver l'indice (i,j) suivant dans notre numérotation courante.
indigo [Interface]
info [Zenity]
Ouvre une fenètre informative.
init_fenetre [Sig_interface]
Pour ouvrir une fenêtre, qui utilise le module Graphics, de taille "x" x "y".
init_fenetre [Interface]
Pour ouvrir et mettre un titre à notre fenêtre.
instance1 [Resolution]
Premier essai : une seule piece !
instance2 [Resolution]
Second essai : deux pieces !
instance3 [Resolution]
Troisieme essai : deux pieces !
instance_of_plateau [Sig_resolution]
Cette fonction est la suivante ne sont pas des fonctions de résolutions, seulement de conversions naïves d'un type vers l'autre.
instance_of_plateau [Resolution]
Jusque là, on lit et écrit des instances, pas des solutions (type plateau)
int_of_charhex [Interface]
Transforme un char en héxa en sa valeur entière.
int_of_hex2 [Interface]
Transforme un caractère bi hexa (chaine de deux caractères entre 0 et A) en sa valeur.
interface_complete [Sig_interface]
L'interface finale.
interface_complete [Interface]
Et enfin l'interface complète, qui utilise le squelette d'interface présenté plus haut, et toutes les fonctions précédentes.
inv_color [Interface]
Pour inverser les couleurs d'une image.

J
jaunefaible [Interface]

K
kill_option [Resolution]
Pour se débarasser simplement du type option.
kill_option2 [Resolution]
Pour se débarasser simplement du type option, mais en affichant quand meme si on tombe sur un None.

L
lancer_chrono [Temps]
Lance le chrono.
launch [Create_instance]
Fonction launch, utilise zenity.
launch_sol [Create_instance_sol]
Fonction launch, utilise zenity.
lecture_et_resolution [Sig_resolution]
Condense les étapes de lecture dans un fichier externe, et de résolution, en une seule étape.
lecture_et_resolution [Resolution]
lecture_instance [Sig_resolution]
Pour lire une instance contenue dans le fichier "file".
lecture_instance [Resolution]
Pour lire une instance écrite dans le fichier 'file'.
lecture_plateau [Sig_resolution]
Pour charger un plateau depuis le fichier externe "file".
lecture_plateau [Resolution]
Pour lire une solution depuis un fichier externe.
line_custom [Sig_interface]
La meme chose, pour dessinée une ligne colorée.
line_custom [Interface]
Pour dessiner une ligne d'une couleur donnée, tout en sauvegardant la couleur courante et le point courant.
list [Zenity]
list_of_matrix [Resolution]
Converti une matrice en une liste, selon les conventions d'indiçages universelles.
lit_et_affiche_instance [Sig_interface]
Idem.
lit_et_affiche_instance [Interface]
Pour lire une instance dans un fichier, et l'afficher, directement.
lit_et_affiche_plateau [Sig_interface]
Tout est dans le nom.
lit_et_affiche_plateau [Interface]
Pour lire un plateau dans un fichier, et l'afficher, directement.

M
mandarine [Interface]
matrix_of_list [Resolution]
Converti une liste en une matrice, selon les conventions d'indicages universelles, en supposant qu'on connaisse la taille de destination.
melange_liste [Resolution]
Pour mélanger une liste.
melanger_matrix_to_list [Resolution]
Comme son nom l'indique, pour transformer une matrice en liste, en mélangeant aléatoirement.
monsub [Resolution]
Pour extraire une sous-string.
myprint [Resolution]
Pour afficher les informations textuelles.
myverb [Resolution]

N
nest_pas_faux [Resolution]
Pour vérifier qu'un plateau ne contredit pas les compatibilités.
new_c_ic [Sig_interface]
Idem nombre de couleurs.
new_c_ic [Interface]
new_m_ic [Sig_interface]
Idem nombre de colonnes.
new_m_ic [Interface]
new_n_ic [Sig_interface]
Pour demander une nouvelle valeur au nombre local de lignes.
new_n_ic [Interface]
Trois alias, pour demander facilement de nouvelles valeurs pour un des trois paramètres de l'interface : le nombre de lignes, de colonnes ou de couleurs.
new_piece [Interface]
Une petite fonction test, qui dessine une pièce aléatoire au point courant.
nom_fichier_temporaire [Zenity]
Nom du fichier temporaire ou est stocké le résultat de l'appel à Zenity.
nombreColonne [Resolution]
Calcule le nombre de colonne d'une matrice (array array).
nombreLigne [Resolution]
Calcule le nombre de ligne d'une matrice (array array).
notification [Zenity]
notify [Zenity]

O
orange [Interface]

P
p0 [Interface]
parse_color [Interface]
Petite fonction outil pour récupérer le code RGB utilisé par Graphics, à partir du rendu utilisé par Zenity dans sa fonction "--color-selection".
parse_fichier [Interface]
Renvoie le contenu de la première ligne d'un fichier texte.
parse_int [Interface]
Petite fonction outil pour extraire un entier du fichier texte se trouvant à l'adresse "file".
password [Zenity]
piece_of_listcouleur [Resolution]
Convertit une liste de couleurs d; h; g; b en une piece équivalente.
piece_random [Sig_resolution]
Pour générer une pièce colorée par des couleurs entre 1 et c aléatoirement.
piece_random [Resolution]
Pour créer une pièce aléatoire du puzzle.
plateau_of_instance [Sig_resolution]
En particulier, celle-ci place seulement les pièces de l'instance sur le plateau, une par une, ligne par ligne.
plateau_of_instance [Resolution]
LA FONCTION SUIVANTE N'EST PAS LA FONCTION DE RESOLUTION.
printP [Sig_interface]
La méthode graphique de gestion du plateau courant, pour aller avec la fonction Resolution.resoud_naivement.
printP [Interface]
Pour etre utilisee avec les fonctions de la librairie 'resolution.ml'.
printP_chrono [Interface]
La meme en affichant le temps du chronomètre.
printP_chrono_no [Interface]
La meme en affichant le temps du chronomètre, mais sans afficher le plateau.
print_add_forms [Zenity]
Une méthode simple pour afficher des éléments de ce type.
print_instance [Sig_resolution]
Idem mais pour une instance.
print_instance [Resolution]
Raccourcis pour afficher une instance à l'écran directement (et pas dans un fichier extérieur).
print_piece [Sig_resolution]
Pour écrire une pièce en mode textuel (selon le format décrit en annexe).
print_piece [Resolution]
Pour n'afficher qu'une piece.
print_plateau [Sig_resolution]
Pour écrire un plateau en mode textuel (selon le format décrit en annexe).
print_plateau [Resolution]
Pour afficher une solution.
print_signature [Interface]
print_signature [Resolution]
print_urgency_level [Zenity]
ps [Resolution]

Q
question [Zenity]

R
read_int [Resolution]
Pour améliorer la lecture d'un entier au clavier.
resolution_x [Sig_interface]
La taille maximum de la fenêtre selon x.
resolution_x [Interface]
Paramètres GLOBAUX des tracés.
resolution_y [Sig_interface]
Idem, mais selon les ordonnées y.
resolution_y [Interface]
resoud_naivement [Sig_resolution]
Pour résoudre naïvement une instance, avec une méthode pour afficher les plateaux courant "printP".
resoud_naivement [Resolution]
Et enfin la fonction de résolution naive.
resoud_naivement_aux [Sig_resolution]
Pour résoudre naïvement le plateau "plateau", en commençant aux indices "icourant" et "jcourant", avec un ensemble de pièces à placer "liste_piece", et une méthode pour afficher les plateaux courant "printP".
resoud_naivement_aux [Resolution]
La fonction récursive naïve de résolution.
resoud_naivement_graphique [Sig_interface]
Résoud l'instance argument, ou en tout cas essaie, de manière naïve.
resoud_naivement_graphique [Interface]
Avec chronometre.
resoud_naivement_graphique_nochrono [Interface]
Utilise la résolution naïve décrite dans 'resolution.ml' mais avec l'affichage à l'écran, en couleur, intermédiaire des plateaux testés.
resoud_naivement_no_graphique [Interface]
Avec chronometre.
rose [Interface]
Echelle exemple : les exemples seront fait avec 4 couleurs, alors autant avoir une échelle de couleur qui pète un peu pour les exemples !

S
saumon [Interface]
scale [Zenity]
squel [Sig_interface]
Ce générateur de boucle intéractive est librement inspiré du livre 'Developpement d'applications en Ocaml'.
squel [Interface]
Générateur d'interface.
stopper_chrono [Temps]
Stope le chrono.
string_of_char [Interface]
Transforme un char en string.
string_of_temps [Temps]
Affiche un 'temps'.
string_time [Temps]
Donne une chaine représentant le temps courant.
suppri_liste [Resolution]
Pour supprimer un élément d'une liste.
suppri_liste_indice [Resolution]
Supprime une case d'une liste.

T
taille_piece [Sig_interface]
La taille d'une MOITIEE de pièce, en pixel.
taille_piece [Interface]
temps_chrono [Temps]
Récupère une chaine donnant le temps écoulé depuis le dernier appel à lancer_chrono.
temps_debut_chrono [Temps]
Référence globale pour le début du chronomètre .
test_complet [Resolution]
Une fonction de test de toutes les fonctions précédentes : génération aléatoire, lecture, écriture, conversion naïve plateau - instance, affichage dans le terminal.
test_ecriture [Resolution]
On peut aussi afficher à l'écran, en utilisant le nom de fichier spécial 'stdout' (sortie écran)
test_random [Sig_interface]
Pour réaliser un test de cette fonction.
test_random [Interface]
Un petit test pour vérifier cette fonction.
test_resolution [Sig_resolution]
Un test intéractif EN TOPLEVEL uniquement.
test_resolution [Resolution]
Quatrieme test : autant de fois que l'utilisateurs le veut, avec les paramètres qu'il rentre.
text_info [Zenity]
tioi [Resolution]
titre_ic [Sig_interface]
Pour actualiser le titre de la fenêtre en fonction des trois paramètres courants "c", "n", "m".
titre_ic [Interface]
Macro pour actualiser rapidement le titre de la fenêtre en fonction des trois paramètres locaux n, m, et c.
trait_char [Sig_interface]
Un exemple de "f_key" réagissant à l'appuis sur une touche du clavier.
trait_char [Interface]
On fait une première interface simpliste, qui dessine une pièce au point courant dès qu'on tape sur 'Espace'.
turquoise [Interface]

V
vertjaune [Interface]
violet [Interface]

W
wait [Temps]
Plus intelligent.
wait_lourd [Temps]
Pour attendre.
warning [Zenity]
Ouvre une fenètre d'avertissement.

Z
zenity_info [Sig_interface]
Une macro pour afficher une fenêtre d'information via Zenity, contenant le message argument.
zenity_info [Interface]
Afficher une fenètre informative, qui demande juste à l'utilisateur de cliquer pour continuer.
zenity_notif [Interface]
Idem.