On définit une bijection entre les noeuds de
et un ensemble
totalement ordonné. On note
la clé du noeud
.
En général, on prend
.
Nous représenterons chaque noeud d'un arbre binaire avec une structure
contenant les champs suivants :
Si est une variable de type AB alors
est la clé de la
racine de l'arbre
,
est un pointeur vers le sous-arbre droit,
est un pointeur vers le sous-arbre gauche. Si un pointeur ne
pointe vers aucune valeur, on dira qu'il prend la valeur
. On
fera une allocation dynamique en utilisant la fonction
pour créer un noeud de clé
et de sous-arbre gauche
(resp. droit)
(resp.
) de type AB.