File tree Expand file tree Collapse file tree 1 file changed +8
-7
lines changed Expand file tree Collapse file tree 1 file changed +8
-7
lines changed Original file line number Diff line number Diff line change 3158
3158
\begin{itemdescr}
3159
3159
\pnum
3160
3160
\ensures
3161
+ The following expressions yield \keyword{true}:
3161
3162
\begin{itemize}
3162
- \item \tcode{eback() == rhs.eback()}
3163
- \item \tcode{gptr() == rhs.gptr()}
3164
- \item \tcode{egptr() == rhs.egptr()}
3165
- \item \tcode{pbase() == rhs.pbase()}
3166
- \item \tcode{pptr() == rhs.pptr()}
3167
- \item \tcode{epptr() == rhs.epptr()}
3168
- \item \tcode{getloc() == rhs.getloc()}
3163
+ \item \tcode{eback() == rhs.eback()},
3164
+ \item \tcode{gptr() == rhs.gptr()},
3165
+ \item \tcode{egptr() == rhs.egptr()},
3166
+ \item \tcode{pbase() == rhs.pbase()},
3167
+ \item \tcode{pptr() == rhs.pptr()},
3168
+ \item \tcode{epptr() == rhs.epptr()}, and
3169
+ \item \tcode{getloc() == rhs.getloc()}.
3169
3170
\end{itemize}
3170
3171
\end{itemdescr}
3171
3172
You can’t perform that action at this time.
0 commit comments