Module: ppl/ppl Branch: sparse_matrices Commit: 3489f0659fd755bc5887479f3b70d4765d10b031 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3489f0659fd75...

Author: Marco Poletti poletti.marco@gmail.com Date: Thu Mar 11 12:06:08 2010 +0100

PIP_Tree.cc: fix indentation.

---

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

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 3ca256f..edb0cea 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -546,10 +546,11 @@ row_normalize(PIP_Tree_Node::matrix_row_reference_type x, Coefficient& den) { exact_div_assign(den, den, gcd); }

-bool compatibility_check_find_pivot(const PIP_Tree_Node::matrix_type& s, - const std::vector<dimension_type>& mapping, - const std::vector<bool>& basis, - dimension_type& pi, dimension_type& pj) { +bool +compatibility_check_find_pivot(const PIP_Tree_Node::matrix_type& s, + const std::vector<dimension_type>& mapping, + const std::vector<bool>& basis, + dimension_type& pi, dimension_type& pj) { // Look for a negative RHS (i.e., constant term, stored in column 0), // maximizing pivot column. const dimension_type num_rows = s.num_rows();