[PPL-devel] [GIT] ppl/ppl(pip): Implemented an optional pivot row strategy for difficult problems.

[François Galea]

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

Author: François Galea <francois.galea at uvsq.fr>
Date:   Mon Jan  4 08:33:04 2010 +0100

Implemented an optional pivot row strategy for difficult problems.
It is deactivated by default as it is more compute intensive.

---

 demos/ppl_pips/ppl_pips.cc                  |   33 ++++++--
 interfaces/C/ppl_c_header.h                 |   15 ++++
 interfaces/C/ppl_c_implementation_common.cc |    6 ++
 src/PIP_Problem.cc                          |   17 ++++
 src/PIP_Problem.defs.hh                     |    7 ++
 src/PIP_Tree.cc                             |  116 ++++++++++++++++++++++-----
 src/PIP_Tree.defs.hh                        |   55 +++++++++++++
 7 files changed, 221 insertions(+), 28 deletions(-)

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