just formatting cleanup

This commit is contained in:
Davis King 2015-10-25 19:34:44 -04:00
parent 52ecadf837
commit a07b31da46
1 changed files with 18 additions and 18 deletions

View File

@ -105,6 +105,24 @@ namespace dlib
R(r, c) == m(r+row,c+col)
!*/
// ----------------------------------------------------------------------------------------
const matrix_exp subm (
const matrix_exp& m,
const rectangle& rect
);
/*!
requires
- get_rect(m).contains(rect) == true
(i.e. rect is a region inside the matrix m)
ensures
- returns a matrix R such that:
- R.nr() == rect.height()
- R.nc() == rect.width()
- for all valid r and c:
R(r, c) == m(r+rect.top(), c+rect.left())
!*/
// ----------------------------------------------------------------------------------------
const matrix_exp subm_clipped (
@ -129,24 +147,6 @@ namespace dlib
R(r, c) == m(r+box_clipped.top(),c+box_clipped.left())
!*/
// ----------------------------------------------------------------------------------------
const matrix_exp subm (
const matrix_exp& m,
const rectangle& rect
);
/*!
requires
- get_rect(m).contains(rect) == true
(i.e. rect is a region inside the matrix m)
ensures
- returns a matrix R such that:
- R.nr() == rect.height()
- R.nc() == rect.width()
- for all valid r and c:
R(r, c) == m(r+rect.top(), c+rect.left())
!*/
// ----------------------------------------------------------------------------------------
const matrix_exp subm_clipped (