| 314 | bool is_checked |
| 315 | > |
| 316 | inline void swap ( |
| 317 | graph_kernel_1<T,E,mem_manager,is_checked>& a, |
| 318 | graph_kernel_1<T,E,mem_manager,is_checked>& b |
| 319 | ) { a.swap(b); } |
| 320 | |
| 321 | // ---------------------------------------------------------------------------------------- |
| 322 |