Section Header
  
  
    + name := AVL_SET_NODE[E];
  
  
    - comment := "Auxiliary class to implement AVL_SET.";
	
  
 This a classic implementation of an AVL tree (balanced tree first
  
 designed by Adelson-Velskii and Landis, 1960)
  
Section Inherit
  
  
    + parent_avl_tree_node:Expanded AVL_TREE_NODE[E];
  
  
    - parent_any_avl_set_node:ANY_AVL_SET_NODE := 
Section AVL_SET
  
  
  
 Creation:
  
  
  
    - create i:E :SELF <-
    
  
    - make i:E <-