deferred class AVL_TREE_NODE [E_ -> COMPARABLE]

Features exported to ANY

Auxiliary class to implement AVL_SET.

This a classic implementation of an AVL tree (balanced tree first designed by Adelson-Velskii and Landis (hence A.V.L.), 1960)

Direct parents

non-conformant parents

AVL_CONSTANTS

Known children

conformant children

AVL_DICTIONARY_NODE, AVL_SET_NODE

Summary

exported features

Details

out_in_tagged_out_memory

ensure

  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: (old tagged_out_memory.twin).is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))