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

Author: Marco Poletti poletti.marco@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),