Objective Caml version 3.08.1

# #use "TaquinTest3.ml";;
type 'a chemin = Nil | Noeud of ('a * 'a chemin * int * int)
val construire_transitions :
  'a chemin -> 'a list -> ('a -> 'a -> int) -> ('a -> int) -> 'a chemin list =
  <fun>
val appartient : 'a list -> 'a -> bool = <fun>
val fusion : 'a list -> 'a list -> 'a list = <fun>
val classe_bis :
  'a chemin list ->
  'a chemin -> 'a list -> ('a -> int) -> ('a -> 'a -> int) -> 'a chemin list =
  <fun>
val classe :
  'a chemin list ->
  'a list ->
  'a chemin -> 'a list -> ('a -> int) -> ('a -> 'a -> int) -> 'a chemin list =
  <fun>
val decheminiser_tete : 'a chemin -> 'a = <fun>
val decheminiser : 'a chemin -> 'a list = <fun>
val recherche2 :
  'a ->
  ('a -> bool) ->
  ('a -> 'a list) -> ('a -> int) -> ('a -> 'a -> int) -> 'a list -> 'a list =
  <fun>
type 'a taquin = Taquin of 'a list list
type mouvement = Nord | Sud | Est | Ouest
val taille_liste : 'a list -> int = <fun>
val taille_taquin : 'a taquin -> int = <fun>
val verif_taille : 'a taquin -> bool = <fun>
val presence_liste : 'a list -> 'a -> bool = <fun>
val presence_casevide : 'a taquin -> 'a -> bool = <fun>
val verif_taquin : 'a taquin -> 'a -> bool = <fun>
val test_liste_but : 'a list -> 'a list -> bool = <fun>
val chercher_liste : 'a list -> 'a -> int = <fun>
val chercher_pos : 'a taquin -> 'a -> int * int = <fun>
val possibilites : 'a taquin -> int * int -> mouvement list = <fun>
val get_liste : 'a list -> int -> 'a = <fun>
val set_liste : 'a list -> int -> 'a -> 'a list = <fun>
val get_taquin : 'a taquin -> int * int -> 'a = <fun>
val detaquiniser : 'a taquin -> 'a list list = <fun>
val set_taquin : 'a taquin -> int * int -> 'a -> 'a taquin = <fun>
val deplacerN : 'a taquin -> int * int -> 'a taquin = <fun>
val deplacerS : 'a taquin -> int * int -> 'a taquin = <fun>
val deplacerE : 'a taquin -> int * int -> 'a taquin = <fun>
val deplacerO : 'a taquin -> int * int -> 'a taquin = <fun>
val deplacer : 'a taquin -> int * int -> mouvement -> 'a taquin = <fun>
val inv_liste : 'a list -> 'a list = <fun>
val afficher_liste_int : int list -> unit = <fun>
val afficher_taquin_int : int taquin -> unit = <fun>
val afficher_liste_taquins_int : int taquin list -> unit = <fun>
val mouvement_taquin : 'a taquin -> 'a taquin -> 'a -> mouvement = <fun>
val mouvements_liste_taquins : 'a taquin list -> 'a -> mouvement list = <fun>
val afficher_mvt : mouvement -> unit = <fun>
val afficher_liste_mvts : mouvement list -> unit = <fun>
val etat_suivant : 'a list -> int -> 'a = <fun>
val etat_precedent : 'a list -> int -> 'a = <fun>
val appartient : 'a list -> 'a -> bool = <fun>
val equiv_deplacement : int -> mouvement = <fun>
val genere_mouvements : int -> mouvement list = <fun>
val melanger_taquin : 'a taquin -> mouvement list -> 'a -> 'a taquin = <fun>
val case_vide : int = 0
val taquin_ini : int taquin =
  Taquin [[1; 5; 2; 3]; [4; 6; 0; 7]; [8; 14; 10; 11]; [12; 9; 13; 15]]
val taquin_but : int taquin =
  Taquin [[0; 1; 2; 3]; [4; 5; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]]
Verification taquin ini : - : unit = ()
- : bool = true
Verification taquin fin : - : unit = ()
- : bool = true
Taille du taquin : - : unit = ()
- : int = 4
val test_etat_but : int taquin -> bool = <fun>
val fils_etat : int taquin -> int taquin list = <fun>
val estime_etat_un : int taquin -> int * int -> int = <fun>
val carre : int -> int = <fun>
val estime_etat : int taquin -> int = <fun>
val cout_transition : 'a -> 'b -> int = <fun>
val solution : int taquin list =
  [Taquin [[0; 1; 2; 3]; [4; 5; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 0; 2; 3]; [4; 5; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 0; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 0; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 0; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 14; 11]; [12; 13; 0; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 14; 11]; [12; 0; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 0; 14; 11]; [12; 9; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 14; 0; 11]; [12; 9; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 0; 7]; [8; 14; 10; 11]; [12; 9; 13; 15]]]
val solution : int taquin list =
  [Taquin [[1; 5; 2; 3]; [4; 6; 0; 7]; [8; 14; 10; 11]; [12; 9; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 14; 0; 11]; [12; 9; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 0; 14; 11]; [12; 9; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 14; 11]; [12; 0; 13; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 14; 11]; [12; 13; 0; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 10; 7]; [8; 9; 0; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 6; 0; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 5; 2; 3]; [4; 0; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[1; 0; 2; 3]; [4; 5; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]];
   Taquin [[0; 1; 2; 3]; [4; 5; 6; 7]; [8; 9; 10; 11]; [12; 13; 14; 15]]]
val sol_mouvements : mouvement list =
  [Sud; Ouest; Sud; Est; Nord; Nord; Ouest; Nord; Ouest]

- : unit = ()
Mouvements solutions : - : unit = ()
Sud | Ouest | Sud | Est | Nord | Nord | Ouest | Nord | Ouest- : unit = ()

- : unit = ()
Taquin a l'etat initial : - : unit = ()
  1  5  2  3
  4  6  0  7
  8 14 10 11
 12  9 13 15

- : unit = ()
Taquin a l'etat but : - : unit = ()
  0  1  2  3
  4  5  6  7
  8  9 10 11
 12 13 14 15

- : unit = ()