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

5 Oct 2009


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