[PPL-devel] [GIT] ppl/ppl(master): Changed interface for public method PIP_Solution_Node::parametric_values() .

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 22 14:04:27 2010 +0100

Changed interface for public method PIP_Solution_Node::parametric_values().

The new interface no longer requires the set of problem parameters as an
input argument (which was error prone): rather, the set of parameters of
the PIP_Problem is now automatically retrieved.

To this end, all PIP tree nodes are now provided by a pointer to the owning
PIP_Problem object. Method PIP_Problem::OK() modified to check for well
formedness of the solution tree and, in particular, check that all its
nodes are marked as owned by the right PIP_Problem object.

Removed the no longer useful method PIP_Tree_Node::insert_artificials().

Corrected a typo in PIP_Problem::operator<<().
Simplified interface of (internal) method PIP_Tree_Node::print_tree().

Added a FIXME regarding a potential exception safety issue.

---

 demos/ppl_pips/ppl_pips.cc                  |    2 +-
 interfaces/C/ppl_c_header.h                 |    9 -
 interfaces/C/ppl_c_implementation_common.cc |    7 +-
 src/PIP_Problem.cc                          |   55 ++++-
 src/PIP_Tree.cc                             |  330 ++++++++++++++++-----------
 src/PIP_Tree.defs.hh                        |  177 +++++++++------
 src/PIP_Tree.inlines.hh                     |    5 +
 tests/PIP_Problem/pipproblem1.cc            |   14 +-
 8 files changed, 355 insertions(+), 244 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=84dfaed9e347b23ade2704d1ed84710e59432dfb