[PPL-devel] [GIT] ppl/ppl(pip): Implemented cut generation. Not stable yet.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Sun Oct  4 18:41:13 2009 +0200

Implemented cut generation. Not stable yet.

---

 src/PIP_Tree.cc                  |  210 +++++++++++++++++++++++++++++++-------
 src/PIP_Tree.defs.hh             |   45 +++++++-
 src/PIP_Tree.inlines.hh          |   10 ++
 tests/PIP_Problem/pipproblem1.cc |   38 ++++++--
 4 files changed, 255 insertions(+), 48 deletions(-)

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