Module: ppl/ppl Branch: master Commit: 4a2e47bc3c0bf3b040d046ba34bccf039f5847a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a2e47bc3c0bf...

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

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

Previous reverted commit which had the same message was wrongly done in the products branch.

---

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 fd15980..628638e 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1516,6 +1516,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,