(** Projet Puzzle @author Lilian Besson <lilian.bessonATens-cachan.fr> *)



open List;;
open String;;
open Graphics;;



(** Ce script se base sur 'resolution.ml' et 'interface.ml'. Il faut noter qu'un changement dans la librairie de resolution devrait ne pas rendre cette interface obsolète, du moment que les types et les signatures des fonctions principales soient conservées. *)



open Resolution;;
open Interface;;

(*----------------------------------------------------------------------------------------------------------------------------------------------*)



(** Pour sauvegarder l'instance aléatoire générée. *)


let ecrit_instance_generee mon_instance () = 
        Resolution.ecriture_instance ~action_confirmation:Interface.demande_confirmation_graphique ~file:(Interface.ask_value "Donnez un nom de fichier ou ecrire l'instance aléatoire générée (au format décrit en annexe):" ()) ~i:mon_instance;;



(** Fonction launch, utilise zenity. Demande à l'utilisateur des valeurs pour c, n et m, et un nom de fichier destination, et génère une instance aléatoire et l'enregistre. *)


let launch () =
        Interface.zenity_info "Génération d'une instance : lancement !";
        let (m, n, c) = ((Interface.new_m_ic ()), (Interface.new_n_ic ()), (Interface.new_c_ic ())) in
        ecrit_instance_generee (Resolution.creer_instance_random ~c:c ~n:n ~m:m ()) ();;


print_string "Lancement de l'interface utilisateur de génération d'une instance ...";;
launch ();;

print_string "Interface utilisateur de génération d'une instance du projet Puzzle : terminée.\n Lilian Besson (c) 2012";;