| 3679 | |
| 3680 | |
| 3681 | forceinline void |
| 3682 | Space::kill(Brancher& b) { |
| 3683 | assert(!failed()); |
| 3684 | // Make sure that neither b_status nor b_commit does not point to b! |
| 3685 | if (b_commit == &b) |
| 3686 | b_commit = Brancher::cast(b.next()); |
| 3687 | if (b_status == &b) |
| 3688 | b_status = Brancher::cast(b.next()); |
| 3689 | b.unlink(); |
| 3690 | rfree(&b,b.dispose(*this)); |
| 3691 | } |
| 3692 | |
| 3693 | forceinline void |
| 3694 | Space::kill(Propagator& p) { |