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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 10 11:25:01 2010 +0200

Man pages updated.

---

TODO | 6 ------ demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 20 ++++++++++---------- doc/ppl-config.1 | 2 +- 5 files changed, 13 insertions(+), 19 deletions(-)

diff --git a/TODO b/TODO index a617803..76d679e 100644 --- a/TODO +++ b/TODO @@ -1,10 +1,4 @@

-Enhancements for PPL 0.11 -========================= - -- Complete the ppl_pips man page. - - Enhancements for PPL 0.12 or later versions ===========================================

diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index e22d7e6..f3737cb 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "April 2010" "ppl_lcdd 0.11" "User Commands" +.TH PPL_LCDD "1" "May 2010" "ppl_lcdd 0.11" "User Commands" .SH NAME ppl_lcdd - a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index a2d6174..db6b5fd 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LPSOL "1" "April 2010" "ppl_lpsol 0.11" "User Commands" +.TH PPL_LPSOL "1" "May 2010" "ppl_lpsol 0.11" "User Commands" .SH NAME ppl_lpsol - a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 58b6fee..6b8806b 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_PIPS "1" "April 2010" "ppl_pips 0.11" "User Commands" +.TH PPL_PIPS "1" "May 2010" "ppl_pips 0.11" "User Commands" .SH NAME ppl_pips - a PPL-based parametric integer programming problem solver .SH SYNOPSIS @@ -21,10 +21,10 @@ prints this help text to stdout appends output to PATH .TP \fB-P\fR, \fB--polylib\fR -read problem in Polylib format (default) +reads problem in PolyLib format (default) .TP \fB-p\fR, \fB--piplib\fR -read problem in PIPlib format +reads problem in PipLib format .TP \fB-t\fR, \fB--timings\fR prints timings to stderr @@ -33,7 +33,7 @@ prints timings to stderr produces lots of output .TP \fB-i\fR, \fB--iterations\fR=\fIN\fR -execute the resolution N times (default=1) +executes the resolution N times (default=1) .TP \fB-V\fR, \fB--version\fR prints version information to stdout @@ -43,20 +43,20 @@ checks if the result is equal to what is in PATH .SS "Cut generation options:" .TP \fB-f\fR, \fB--cut-first\fR -use the first non-integer row (default) +uses the first non-integer row (default) .TP \fB-d\fR, \fB--cut-deepest\fR -try to generate the deepest cut +tries to generate the deepest cut .TP \fB-a\fR, \fB--cut-all\fR -always generate all possible cuts +always generates all possible cuts .SS "Pivot row strategy options:" .TP \fB-F\fR, \fB--row-first\fR -use the first row with negative parameter (default) +uses the first row with negative parameter (default) .TP \fB-M\fR, \fB--row-max\fR -choose row generating the lexico-maximal pivot column +chooses row generating the lexico-maximal pivot column .SH AVAILABILITY The latest version of the Parma Polyhedra Library and all the documentation is available at \fBhttp://www.cs.unipr.it/ppl/%5CfR . @@ -93,7 +93,7 @@ The following row contains the parameter number for the so-called If no big parameter is used, the value is -1. .TP - -The following rows encode the problem inequality matrix.. +The following rows encode the problem inequality matrix. As for the context matrix, the first two values are the dimensions of the matrix. The number of variables is the number of columns in the matrix minus the number of parameters minus 2. diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index e08658a..5e54525 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "April 2010" "ppl-config 0.11" "User Commands" +.TH PPL-CONFIG "1" "May 2010" "ppl-config 0.11" "User Commands" .SH NAME ppl-config - obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS