[PPL-devel] [GIT] ppl/ppl(master): Added a note about the use of `assign' helper functions.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri May 15 08:00:30 2009 +0200

Added a note about the use of `assign' helper functions.

---

 src/MIP_Problem.cc |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc
index 3e6bcab..9e531f0 100644
--- a/src/MIP_Problem.cc
+++ b/src/MIP_Problem.cc
@@ -857,6 +857,14 @@ PPL::MIP_Problem::process_pending_constraints() {
 
 namespace {
 
+// NOTE: the following two `assign' helper functions are needed to
+// handle the assignment of a Coefficient to a double in method
+//     MIP_Problem::steepest_edge_float_entering_index().
+// We cannot use assign_r(double, Coefficient, Rounding_Dir) as it would
+// lead to a compilation error on those platforms (e.g., ARM) where
+// controlled floating point rounding is not available (even if the
+// rounding mode would be set to ROUND_IGNORE).
+
 inline void
 assign(double& d, const mpz_class& c) {
   d = c.get_d();