File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 609
609
A sentinel \tcode {s} is called \defn {reachable from} an iterator \tcode {i} if
610
610
and only if there is a finite sequence of applications of the expression
611
611
\tcode {++i} that makes \tcode {i == s}. If \tcode {s} is reachable from \tcode {i},
612
- \range {i}{s} denotes a valid range.
612
+ \range {i}{s} denotes a \defnadj { valid}{ range} .
613
613
614
614
\pnum
615
615
A \defnadj {counted}{range} \countedrange {i}{n} is empty if \tcode {n == 0};
618
618
starting with the element pointed to by \tcode {i} and up to but not including
619
619
the element, if any, pointed to by
620
620
the result of \tcode {n} applications of \tcode {++i}.
621
- A counted range \countedrange {i}{n} is valid if and only if \tcode {n == 0};
621
+ A counted range \countedrange {i}{n} is \defnx { valid}{range!counted!valid} if and only if \tcode {n == 0};
622
622
or \tcode {n} is positive, \tcode {i} is dereferenceable,
623
623
and \countedrange {++i}{--n} is valid.
624
624
You can’t perform that action at this time.
0 commit comments