We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
This table uses ugly shorthand for pre/postconditions, like so:
Requires: T shall be [...] post: distance(begin(), end()) == distance(i, j)
T
distance(begin(), end()) == distance(i, j)
It also misses \effects clauses, e.g.:
Requires : T shall be [...] pre: i and j are not iterators into a. Inserts copies of elements in [i, j) before p
i
j
a
[i, j)
p
The text was updated successfully, but these errors were encountered:
LWG2231 DR 704 removes complexity guarantee for clear()
6dc471d
General issues with this table logged at cplusplus#120
Successfully merging a pull request may close this issue.
This table uses ugly shorthand for pre/postconditions, like so:
Requires:
T
shall be [...]post:
distance(begin(), end()) == distance(i, j)
It also misses \effects clauses, e.g.:
Requires :
T
shall be [...]pre:
i
andj
are not iterators intoa
.Inserts copies of elements in
[i, j)
beforep
The text was updated successfully, but these errors were encountered: