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

[Patricia Hill]

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

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