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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:14:06 2012 +0100

Comment corrected.

---

src/PIP_Tree.cc | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 4f2e82e..0864681 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -221,8 +221,10 @@ add_artificial_parameters(Matrix& context, Variables_Set& params, }

/* Compares two columns lexicographically in a revised simplex tableau: - - returns true if (column ja)*(-cst_a)/pivot_a[ja] - << (column jb)*(-cst_b)/pivot_b[jb]; + - returns true if + <CODE> + (column ja)*(-cst_a)/pivot_a[ja] < (column jb)*(-cst_b)/pivot_b[jb]; + </CODE> - returns false otherwise. */ bool