[PPL-devel] [GIT] ppl/ppl(pip): PIP_Problem ascii dump&load methods now also dump/ load problem solution.

[Enea Zaffanella]

Module: ppl/ppl
Branch: pip
Commit: 49d77d21e8dcc4d247a7ba4c257ac0dc88e69414
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dcc4d247a7ba4c257ac0dc88e69414

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Feb  7 12:15:50 2010 +0100

PIP_Problem ascii dump&load methods now also dump/load problem solution.
Fixed error in PIP_Tree_Node::ascii_load().
Added ascii dump&load methods to PIP_Decision_Node.

---

 src/PIP_Problem.cc                    |   47 ++++++++++-
 src/PIP_Problem.defs.hh               |    4 +-
 src/PIP_Tree.cc                       |  146 ++++++++++++++++++++++++++++-----
 src/PIP_Tree.defs.hh                  |   10 ++-
 src/PIP_Tree.types.hh                 |    2 +-
 tests/PIP_Problem/ascii_dump_load1.cc |   39 ++++++++-
 tests/PIP_Problem/pipproblem1.cc      |    9 ++
 7 files changed, 221 insertions(+), 36 deletions(-)

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