| 215 | } |
| 216 | template<class View, bool p, bool f> |
| 217 | forceinline void |
| 218 | Action::Recorder<View,p,f>::Idx::propagate(void) { |
| 219 | _info |= 1U; |
| 220 | } |
| 221 | template<class View, bool p, bool f> |
| 222 | forceinline void |
| 223 | Action::Recorder<View,p,f>::Idx::fail(void) { |