Module: ppl/ppl Branch: products Commit: 6b9f28ad503f1d43da7a876c4bee7eae9eba185a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f1...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed May 20 08:28:58 2009 +0100

Added a warning about non-integrality for wrap_assign().

---

src/Grid.defs.hh | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index f823a76..ed6bc78 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1549,6 +1549,12 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the Variable objects contained in \p vars or with <CODE>*pcs</CODE>. + + \warning + It is assumed that variables in \p Vars represent integers. Thus, + where the extra cost is negligible, the integrality of these + variables is enforced; possibly causing a non-integral grid to + become empty. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w,