| 65 | } |
| 66 | template<class V0, class V1, class Idx, class Val> |
| 67 | forceinline void |
| 68 | Int<V0,V1,Idx,Val>::IterIdxUnmark::operator ++(void) { |
| 69 | int p=i; |
| 70 | i = iv[p].idx_next; |
| 71 | while ((i != 0) && iv[i].marked()) |
| 72 | i=iv[i].idx_next; |
| 73 | iv[p].idx_next=i; |
| 74 | } |
| 75 | template<class V0, class V1, class Idx, class Val> |
| 76 | forceinline Idx |
| 77 | Int<V0,V1,Idx,Val>::IterIdxUnmark::val(void) const { |