Algorithmique des structures de données arborescentes 2018-2019

Bonsoir,

j'ai réussi à faire parameters_gen, pour mes fonctions les types sont les mêmes que les tiens par contre :
val parameters_gen :
  ('a -> bool) -> 'a tree -> int * int * int * int * int * int = <fun>

J'espère t'avoir aidé .

Chloé Neuville

Le type de votre fonction est:

('a -> 'b -> bool) ->
  'a ->
  ('b tree -> int) * ('b tree -> int) * ('b tree -> int) * ('b tree -> int) *
  ('b tree -> int) * ('b tree -> int)

C'est-à-dire que votre fonction prend comme entrées une fonction de deux paramètres qui retourne un booléen ('a -> 'b -> bool), et une valeur du type de la première entrée ('a), et retourne un sextuplet formé de 6 fonctions de type 'btree -> int, soit, 6 fonctions sur les arbres (de même type) qui retournent chacune un entier.

Cela ne correspond pas à la demande, qui est d'une fonction prenant en entrées un prédicat sur les valeurs des noeuds ('a -> bool) et un arbre ('a btree - le même 'a, c'est-à-dire que le prédicat peut bien être appliqué aux valeurs des noeuds), et retourne 6 valeurs entières (int * int * int * int * int * int).

Donc, votre fonction ne prend pas du tout en entrée un arbre, et les valeurs de retour (6 fonctions?) font penser que, au lieu de retourner les valeurs de vos 6 paramètres, vous retournez les 6 fonctions calculant chacune un des paramètres...

Par ailleurs, comme indiqué dans l'exercice "le retour", ce qui est réellement attendu ce n'est pas que vous écriviez 6 fonctions dont chacune calcule l'un des 6 paramètres, mais plutôt une seule fonction qui calcule les 6 paramètres en un seul parcours.