[PPL-devel] [GIT] ppl/ppl(pip): Unified the common denominator between both matrices of the tableau.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Fri Oct  2 10:57:20 2009 +0200

Unified the common denominator between both matrices of the tableau.

---

 src/PIP_Tree.cc         |  110 ++++++++++++++++++++++++++++------------------
 src/PIP_Tree.defs.hh    |   65 +++++++++-------------------
 src/PIP_Tree.inlines.hh |   31 +++++++------
 3 files changed, 105 insertions(+), 101 deletions(-)

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