class AVL_DICTIONARY_NODE [V_, K_ -> COMPARABLE]

Features exported to ANY

Auxiliary class to implement AVL_DICTIONARY.

Direct parents

conformant parents

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