| 668 | } |
| 669 | |
| 670 | void |
| 671 | Space::kill_brancher(unsigned int id) { |
| 672 | if (failed()) |
| 673 | return; |
| 674 | for (Brancher* b = Brancher::cast(bl.next()); |
| 675 | b != Brancher::cast(&bl); b = Brancher::cast(b->next())) |
| 676 | if (b->id() == id) { |
| 677 | kill(*b); |
| 678 | return; |
| 679 | } |
| 680 | } |
| 681 | |
| 682 | |
| 683 | /* |