Section Header

    + name := AVL_DICTIONARY_NODE[V,K];

    - comment := "Auxiliary class to implement AVL_DICTIONARY.";

Section Inherit

    + parent_avl_tree_node:Expanded AVL_TREE_NODE[K];

    - parent_any_avl_dictionary_node:ANY_AVL_DICTIONARY_NODE :=

Section Public

    - key:K <-

    - set_key i:K <-

Section AVL_DICTIONARY, AVL_DICTIONARY_NODE

    + value:V;

    - set_value v:V <-

    - fast_at k:K :AVL_DICTIONARY_NODE[V, K] <-
        Is element `e' in the tree?

    - occurrences v:V :INTEGER <-

    - fast_occurrences v:V :INTEGER <-

    - key_at v:V :K <-

    - fast_key_at v:V :K <-

Section AVL_DICTIONARY_NODE

    - occurrences v:V start cnt:INTEGER :INTEGER <-

    - fast_occurrences v:V start cnt:INTEGER :INTEGER <-

Section AVL_DICTIONARY

Creation:


    - create (v:V,k:K) :SELF <-

    - make (v:V,k:K) <-