[PPL-devel] [GIT] ppl/ppl(master): Prefer denominator() to get_denominator().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Feb 18 23:45:41 2010 +0100

Prefer denominator() to get_denominator().
In pipproblem1 test02(), add a lenghty check of the expected solution.

---

 interfaces/C/ppl_c_header.h                 |    6 +-
 interfaces/C/ppl_c_implementation_common.cc |    8 +-
 src/PIP_Tree.cc                             |   76 ++++++++++---------
 src/PIP_Tree.defs.hh                        |    8 +-
 src/PIP_Tree.inlines.hh                     |   30 ++++----
 tests/PIP_Problem/pipproblem1.cc            |  107 ++++++++++++++++++++++++++-
 tests/PIP_Problem/pipproblem2.cc            |    4 +-
 7 files changed, 173 insertions(+), 66 deletions(-)

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