deferred class AVL_TREE [E_ -> COMPARABLE]

Features exported to ANY

Definition of a mathematical set of comparable objects. All common operations on mathematical sets are available.

Direct parents

non-conformant parents

AVL_CONSTANTS

Known children

non-conformant children

AVL_DICTIONARY, AVL_SET

Summary

exported features

Adding and removing:

Looking and searching:

Details

debug_string: STRING
count: INTEGER
remove (e: E_)
fast_remove (e: E_)
has (e: E_): BOOLEAN

Is element e in the set?

fast_has (e: E_): BOOLEAN

Is element e in the set?

Class invariant