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

2 Oct 2009


      Module: ppl/ppl
Branch: pip
Commit: 039d147fe8112c460b66c6fb8b5e76109909ecf0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=039d147fe8112...
Author: François Galea francois.galea@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=039d147fe...