From 3245fc6c8c8b8afb273fbaeb7934e1a3bfe78ec7 Mon Sep 17 00:00:00 2001 From: Hewill Kang <67143766+hewillk@users.noreply.github.com> Date: Sat, 20 Aug 2022 01:11:02 +0800 Subject: [PATCH] [const.iterators.types, const.iterators.ops] Use \libconcept for range concepts --- source/iterators.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/source/iterators.tex b/source/iterators.tex index ed857a14c0..e4849c4ad3 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -4333,13 +4333,13 @@ If \tcode{Iterator} models \libconcept{contiguous_iterator}, then \tcode{iterator_concept} denotes \tcode{contiguous_iterator_tag}. \item -Otherwise, if \tcode{Iterator} models \tcode{random_access_iterator}, +Otherwise, if \tcode{Iterator} models \libconcept{random_access_iterator}, then \tcode{iterator_concept} denotes \tcode{random_access_iterator_tag}. \item -Otherwise, if \tcode{Iterator} models \tcode{bidirectional_iterator}, +Otherwise, if \tcode{Iterator} models \libconcept{bidirectional_iterator}, then \tcode{iterator_concept} denotes \tcode{bidirec\-tional_iterator_tag}. \item -Otherwise, if \tcode{Iterator} models \tcode{forward_iterator}, +Otherwise, if \tcode{Iterator} models \libconcept{forward_iterator}, then \tcode{iterator_concept} denotes \tcode{forward_itera\-tor_tag}. \item Otherwise, \tcode{iterator_concept} denotes \tcode{input_iterator_tag}. @@ -4347,7 +4347,7 @@ \pnum The member \grammarterm{typedef-name} \tcode{iterator_category} is defined -if and only if \tcode{Iterator} models \tcode{forward_iterator}. +if and only if \tcode{Iterator} models \libconcept{forward_iterator}. In that case, \tcode{basic_const_iterator::iterator_category} denotes the type \tcode{iterator_traits<\brk{}Iterator>::iterator_category}. @@ -4434,7 +4434,7 @@ \begin{itemdescr} \pnum \returns -If \tcode{Iterator} models \tcode{contiguous_iterator}, +If \tcode{Iterator} models \libconcept{contiguous_iterator}, \tcode{to_address(\exposid{current_})}; otherwise, \tcode{address\-of(*\exposid{current_})}. \end{itemdescr}