| 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] | 
 1.6.1
 1.6.1