| 63 | template<class View> |
| 64 | template<class A> |
| 65 | forceinline void |
| 66 | ChannelBool<View>::IndexAdvisor::dispose(Space& home, Council<A>& c) { |
| 67 | ChannelBool<View>& p = static_cast<ChannelBool<View>&>(propagator()); |
| 68 | if (idx == -1) |
| 69 | p.y.cancel(home,*this); |
| 70 | else { |
| 71 | p.x[idx].cancel(home,*this); |
| 72 | } |
| 73 | Advisor::dispose(home,c); |
| 74 | } |
| 75 | |
| 76 | template<class View> |
| 77 | forceinline |
nothing calls this directly
no test coverage detected