Dictionnaire

Un dictionnaire est un conteneur autorisant un sous-ensemble des opérations définies pour un ensemble (voir section 28.1) :

Un dictionnaire est donc un ensemble avec un jeu d'instructions restreint par rapport à un ensemble général. Malheureusement, le jeu d'opérations n'est pas assez simple pour permettre une implémentation plus efficace que celle d'un ensemble général.



Irene DURAND
2011-10-14