decrement the size and note that the map has changed
()
| 1275 | * decrement the size and note that the map has changed |
| 1276 | */ |
| 1277 | private void shrink() |
| 1278 | { |
| 1279 | modify(); |
| 1280 | _size--; |
| 1281 | } |
| 1282 | |
| 1283 | /** |
| 1284 | * insert a node by its value |
no test coverage detected