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...