+
Point of view
ANY
deferred class AVL_TREE [E_ -> COMPARABLE]
Summary
Overview
exported features
Adding and removing:
Looking and searching:
debug_string: STRING
effective function
count: INTEGER_32
writable attribute
remove (e: E_)
effective procedure
fast_remove (e: E_)
effective procedure
has (e: E_): BOOLEAN
effective function
Is element e in the set?
fast_has (e: E_): BOOLEAN
effective function
Is element e in the set?