class AVL_SET_NODE [E_ -> COMPARABLE]

Features exported to INTERNALS_HANDLER

Auxiliary class to implement AVL_SET.

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

Direct parents

conformant parents

ANY_AVL_SET_NODE, AVL_TREE_NODE

Summary

creation features

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