| 104 | |
| 105 | template<class View, ReifyMode rm> |
| 106 | forceinline size_t |
| 107 | ReProp<View,rm>::dispose(Space& home) { |
| 108 | b.cancel(home, *this, PC_BOOL_VAL); |
| 109 | (void) Prop<View>::dispose(home); |
| 110 | return sizeof(*this); |
| 111 | } |
| 112 | |
| 113 | template<class View, ReifyMode rm> |
| 114 | ExecStatus |