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) <-