[container.requirements.general] reversible container

Author: jensmaurer

source/containers.tex

@@ -620,15 +620,6 @@
 with value \tcode{a.end()} before the swap will have value \tcode{b.end()} after the
 swap.
 
-\pnum
-\indextext{reversible container|see{container, reversible}}%
-If the iterator type of a container belongs to the bidirectional or
-random access iterator categories\iref{iterator.requirements},
-the container is called
-\defnx{reversible}{container!reversible}
-and meets the additional requirements
-in \tref{container.rev.req}.
-
 % Local command to index names as members of all containers.
 \renewcommand{\indexcont}[1]{%
 \indexlibrarymisc{#1}{reversible containers}%
@@ -646,51 +637,116 @@
 \indexlibrarymemberx{unordered_multimap}{#1}%
 }
 
-\begin{libreqtab4a}
-{Reversible container requirements}
-{container.rev.req}
-\\ \topline
-\lhdr{Expression}       &   \chdr{Return type}  &
-\chdr{Assertion/note}   &   \rhdr{Complexity}   \\
-    &   &   \chdr{pre-/post-condition}   &      \\ \capsep
-\endfirsthead
-\continuedcaption\\
-\hline
-\lhdr{Expression}       &   \chdr{Return type}  &
-\chdr{Assertion/note}   &   \rhdr{Complexity}   \\
-    &   &   \chdr{pre-/post-condition}   &      \\ \capsep
-\endhead
+\pnum
+A type \tcode{X} meets the \defnadj{reversible}{container} requirements if
+\tcode{X} meets the container requirements,
+the iterator type of \tcode{X} belongs to the
+bidirectional or random access iterator categories\iref{iterator.requirements},
+and
+the following types and expressions are well-formed and have
+the specified semantics.
+
 \indexcont{reverse_iterator}%
-\tcode{X::reverse_iterator}            &
-iterator type whose value type is \tcode{T}    &
- \tcode{reverse_iterator<iterator>}   &
- compile time                           \\ \rowsep
+\begin{itemdecl}
+typename X::reverse_iterator
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+The type \tcode{reverse_iterator<X::iterator>},
+an iterator type whose value type is \tcode{T}.
+\end{itemdescr}
+
 \indexcont{const_reverse_iterator}%
-\tcode{X::const_reverse_iterator}         &
- constant iterator type whose value type is \tcode{T}  &
- \tcode{reverse_iterator<const_iterator>}    &
- compile time                               \\ \rowsep
+\begin{itemdecl}
+typename X::const_reverse_iterator
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+The type \tcode{reverse_iterator<X::const_iterator>},
+a constant iterator type whose value type is \tcode{T}.
+\end{itemdescr}
+
 \indexcont{rbegin}%
-\tcode{a.rbegin()}                  &
- \tcode{reverse_iterator; const_reverse_iterator} for constant \tcode{a} &
- \tcode{reverse_iterator(end())}   &
- constant                           \\ \rowsep
+\begin{itemdecl}
+a.rbegin()
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+\tcode{reverse_iterator};
+\tcode{const_reverse_iterator} for constant \tcode{a}.
+
+\pnum
+\cvalue
+\tcode{reverse_iterator(end())}
+
+\pnum
+\complexity
+Constant.
+\end{itemdescr}
+
 \indexcont{rend}%
-\tcode{a.rend()}                     &
- \tcode{reverse_iterator; const_reverse_iterator} for constant \tcode{a} &
- \tcode{reverse_iterator(begin())}    &
- constant                           \\ \rowsep
+\begin{itemdecl}
+a.rend()
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+\tcode{reverse_iterator};
+\tcode{const_reverse_iterator} for constant \tcode{a}.
+
+\pnum
+\cvalue
+\tcode{reverse_iterator(begin())}
+
+\pnum
+\complexity
+Constant.
+\end{itemdescr}
+
 \indexcont{crbegin}%
-\tcode{a.crbegin()}         &
- \tcode{const_reverse_iterator}     &
- \tcode{const_cast<X const\&>(a).rbegin()} &
- constant                   \\ \rowsep
+\begin{itemdecl}
+a.crbegin()
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+\tcode{const_reverse_iterator}.
+
+\pnum
+\cvalue
+\tcode{\keyword{const_cast}<X \keyword{const}\&>(a).rbegin()}
+
+\pnum
+\complexity
+Constant.
+\end{itemdescr}
+
 \indexcont{crend}%
-\tcode{a.crend()}         &
- \tcode{const_reverse_iterator}     &
- \tcode{const_cast<X const\&>(a).rend()} &
- constant                   \\
-\end{libreqtab4a}
+\begin{itemdecl}
+a.crend()
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\result
+\tcode{const_reverse_iterator}.
+
+\pnum
+\cvalue
+\tcode{\keyword{const_cast}<X \keyword{const}\&>(a).rend()}
+
+\pnum
+\complexity
+Constant.
+\end{itemdescr}
 
 \pnum
 Unless otherwise specified (see~\ref{associative.reqmts.except}, \ref{unord.req.except}, \ref{deque.modifiers}, and