| 330 | */ |
| 331 | |
| 332 | __inline_call void_type push ( // copy |
| 333 | data_type const&_data |
| 334 | ) |
| 335 | { |
| 336 | /*---------------- push data onto "tail" of container */ |
| 337 | size_type _tpos = |
| 338 | this->_heap.push_tail() ; |
| 339 | /*---------------- sort "hole" for data into position */ |
| 340 | _write_it _ipos = push_upper ( |
| 341 | this->_heap.head() , |
| 342 | this->_heap.head()+_tpos , |
| 343 | __copy(data_type,_data)); |
| 344 | /*---------------- copy new data into sorted position */ |
| 345 | *_ipos = |
| 346 | __copy(data_type,_data) ; |
| 347 | } |
| 348 | |
| 349 | __inline_call void_type push ( // move |
| 350 | data_type &&_data |