[PPL-devel] [GIT] ppl/ppl(master): Documented precondition of method Bit_Matrix:: remove_trailing_columns().
Enea Zaffanella
zaffanella at cs.unipr.it
Sun Oct 10 17:42:36 CEST 2010
Module: ppl/ppl
Branch: master
Commit: 97150b49891b3cd74963f0e4382da44e1f9abc81
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97150b49891b3cd74963f0e4382da44e1f9abc81
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Oct 10 17:41:52 2010 +0200
Documented precondition of method Bit_Matrix::remove_trailing_columns().
---
src/Bit_Matrix.defs.hh | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/src/Bit_Matrix.defs.hh b/src/Bit_Matrix.defs.hh
index 97191ce..a1ac21f 100644
--- a/src/Bit_Matrix.defs.hh
+++ b/src/Bit_Matrix.defs.hh
@@ -106,6 +106,11 @@ public:
void remove_trailing_rows(dimension_type n);
//! Removes the last \p n columns.
+ /*!
+ \pre
+ The last \p n columns of the matrix are all made of zeros.
+ If such an assumption is not met, the behavior is undefined.
+ */
void remove_trailing_columns(dimension_type n);
//! Resizes the matrix copying the old contents.
More information about the PPL-devel
mailing list