class BT_NODE_DBG{KEY < $IS_LT{KEY},ELT} < |
---|
$BT_NODE{_,_,_} | BT_NODE{_,_} | AREF{_} |
attr size : CARD ; .. Included as size |
---|
attr size : CARD ; .. Included as size |
---|
const Max_Size : CARD := 4 ; .. Included as Max_Size |
---|
const Min_Size : CARD := Max_Size / 2 ; .. Included as Min_Size |
---|
aclear .. Included as aclear |
---|
acopy( .. Included as acopy |
---|
acopy( .. Included as acopy |
---|
acopy( .. Included as acopy |
---|
acopy( .. Included as acopy |
---|
aget( .. Included as aget |
---|
array_ptr : REFERENCE .. Included as array_ptr |
---|
asize : CARD .. Included as asize |
---|
create( .. Included as create |
---|
create( .. Included as create |
---|
create : SAME .. Included as create |
---|
debug : STR |
---|
find( .. Included as find |
---|
find_pred( .. Included as find_pred |
---|
is_eq( .. Included as is_eq |
---|
join_left( .. Included as join_left |
---|
join_right( .. Included as join_right |
---|
left_free( .. Included as left_free |
---|
left_spare( .. Included as left_spare |
---|
node_delete( .. Included as node_delete |
---|
node_insert( .. Included as node_insert |
---|
pull_left( .. Included as pull_left |
---|
pull_right( .. Included as pull_right |
---|
push_left( .. Included as push_left |
---|
push_right( .. Included as push_right |
---|
right_free( .. Included as right_free |
---|
right_spare( .. Included as right_spare |
---|
set_item( .. Included as set_item |
---|
set_node( .. Included as set_node |
---|
split( .. Included as split |
---|
aelt!( .. Included as aelt! |
---|
aelt!( .. Included as aelt! |
---|
aelt!( .. Included as aelt! |
---|
aelt! : ELT .. Included as aelt! |
---|
aind! : CARD .. Included as aind! |
---|
aset!( .. Included as aset! |
---|
aset!( .. Included as aset! |
---|
aset!( .. Included as aset! |
---|
aset!( .. Included as aset! |
---|
elt! : ELT .. Included as elt! |
---|
ind! : KEY .. Included as ind! |
---|
pair! : TUP{KEY,ELT} .. Included as pair! |
---|
aset( .. Included as aset |
---|
for_all( .. Included as for_all |
---|
is_legal_aelts_arg( .. Included as is_legal_aelts_arg |
---|