mirror of
https://github.com/davisking/dlib.git
synced 2024-11-01 10:14:53 +08:00
Fixed a typo in the spec.
This commit is contained in:
parent
331b2d753f
commit
1ecfd5bb5c
@ -37,10 +37,10 @@ namespace dlib
|
|||||||
ensures
|
ensures
|
||||||
- #size() == new_size
|
- #size() == new_size
|
||||||
- #max_size() == max(new_size,max_size())
|
- #max_size() == max(new_size,max_size())
|
||||||
- for all i < size():
|
- for all i < size() && i < new_size:
|
||||||
- #(*this)[i] == (*this)[i]
|
- #(*this)[i] == (*this)[i]
|
||||||
(i.e. all the original elements of *this are still present
|
(i.e. All the original elements of *this which were at index
|
||||||
and at their same positions.)
|
values less than new_size are unmodified.)
|
||||||
- for all valid i >= size():
|
- for all valid i >= size():
|
||||||
- #(*this)[i] has an undefined value
|
- #(*this)[i] has an undefined value
|
||||||
(i.e. any new elements of the array have an undefined value)
|
(i.e. any new elements of the array have an undefined value)
|
||||||
|
Loading…
Reference in New Issue
Block a user