| 216 | */ |
| 217 | template<class View> |
| 218 | forceinline typename ViewTraceRecorder<View>::SlackValue |
| 219 | ViewTraceRecorder<View>::Slack::initial(void) const { |
| 220 | return i; |
| 221 | } |
| 222 | template<class View> |
| 223 | forceinline typename ViewTraceRecorder<View>::SlackValue |
| 224 | ViewTraceRecorder<View>::Slack::previous(void) const { |