| 61 | |
| 62 | template<class View> |
| 63 | forceinline ViewNode<View>* |
| 64 | Edge<View>::view(ValNode<View>* n) const { |
| 65 | return static_cast<ViewNode<View>*>(sd.ptr(n)); |
| 66 | } |
| 67 | template<class View> |
| 68 | forceinline ValNode<View>* |
| 69 | Edge<View>::val(ViewNode<View>* x) const { |