copy(const heap< C > &h) | heap_rep< C > | [friend] |
correct_downwards() | heap_rep< C > | [inline] |
correct_upwards() | heap_rep< C > | [inline] |
get_top(const heap< C > &h) | heap_rep< C > | [friend] |
Get_top() const | heap_rep< C > | [inline] |
heap< C > class | heap_rep< C > | [friend] |
heap_rep(comparison compare2) | heap_rep< C > | [inline] |
heap_rep(C *a2, nat n2, nat l2, comparison compare2) | heap_rep< C > | [inline] |
N(const heap< C > &h) | heap_rep< C > | [friend] |
pull(heap< C > &h) | heap_rep< C > | [friend] |
Pull() | heap_rep< C > | [inline] |
push(heap< C > &h, const C &x) | heap_rep< C > | [friend] |
Push(const C &x) | heap_rep< C > | [inline] |
ref_count | rep_struct | |
rep_struct() | rep_struct | [inline] |
resize(nat n2) | heap_rep< C > | [inline] |
set_top(heap< C > &h, const C &x) | heap_rep< C > | [friend] |
Set_top(const C &x) | heap_rep< C > | [inline] |
~heap_rep() | heap_rep< C > | [inline] |
~rep_struct() | rep_struct | [inline, virtual] |