[PPL-devel] [GIT] ppl/ppl(master): Added a warning about non-integrality for wrap_assign().

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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,