[PPL-devel] [GIT] ppl/ppl(sparse_matrices): Indentation fixes.

[Marco Poletti]

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

Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Mar 22 14:34:04 2010 +0100

Indentation fixes.

---

 src/PIP_Problem.cc           |   18 +++++++++---------
 src/PIP_Problem.templates.hh |    5 ++---
 2 files changed, 11 insertions(+), 12 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index c24e57c..3c6f9ca 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -610,9 +610,9 @@ PPL::PIP_Problem
   }
   if (should_throw)
     throw std::length_error("PPL::PIP_Problem::"
-			    "add_space_dimensions_and_embed(m_v, m_p):\n"
-			    "adding m_v+m_p new space dimensions exceeds "
-			    "the maximum allowed space dimension.");
+                            "add_space_dimensions_and_embed(m_v, m_p):\n"
+                            "adding m_v+m_p new space dimensions exceeds "
+                            "the maximum allowed space dimension.");
   // First add PIP variables ...
   external_space_dim += m_vars;
   // ... then add PIP parameters.
@@ -631,9 +631,9 @@ PPL::PIP_Problem
 ::add_to_parameter_space_dimensions(const Variables_Set& p_vars) {
   if (p_vars.space_dimension() > external_space_dim)
     throw std::invalid_argument("PPL::PIP_Problem::"
-				"add_to_parameter_space_dimension(p_vars):\n"
-				"*this and p_vars are dimension "
-				"incompatible.");
+                                "add_to_parameter_space_dimension(p_vars):\n"
+                                "*this and p_vars are dimension "
+                                "incompatible.");
   const dimension_type original_size = parameters.size();
   parameters.insert(p_vars.begin(), p_vars.end());
   // Do not allow to turn variables into parameters.
@@ -641,8 +641,8 @@ PPL::PIP_Problem
          end = p_vars.end(); p != end; ++p) {
     if (*p < internal_space_dim) {
       throw std::invalid_argument("PPL::PIP_Problem::"
-				  "add_to_parameter_space_dimension(p_vars):"
-				  "p_vars contain variable indices.");
+                                  "add_to_parameter_space_dimension(p_vars):"
+                                  "p_vars contain variable indices.");
     }
   }
 
@@ -725,7 +725,7 @@ PPL::PIP_Problem::external_memory_in_bytes() const {
   // Adding the external memory for `input_cs'.
   n += input_cs.capacity() * sizeof(Constraint);
   for (const_iterator i = input_cs.begin(),
-	 i_end = input_cs.end(); i != i_end; ++i)
+       i_end = input_cs.end(); i != i_end; ++i)
     n += (i->external_memory_in_bytes());
   // FIXME: Adding the external memory for `parameters'.
   n += parameters.size() * sizeof(dimension_type);
diff --git a/src/PIP_Problem.templates.hh b/src/PIP_Problem.templates.hh
index 9faa49d..4781182 100644
--- a/src/PIP_Problem.templates.hh
+++ b/src/PIP_Problem.templates.hh
@@ -29,9 +29,8 @@ namespace Parma_Polyhedra_Library {
 
 template <typename In>
 PIP_Problem::PIP_Problem(dimension_type dim,
-			 In first,
-			 In last,
-			 const Variables_Set& p_vars)
+                         In first, In last,
+                         const Variables_Set& p_vars)
   : external_space_dim(dim),
     internal_space_dim(0),
     status(PARTIALLY_SATISFIABLE),