Module: ppl/ppl Branch: master Commit: 0f7542020b25c0c4d503ed84bd8495d0ee9b305b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f7542020b25c...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Sep 27 20:41:11 2014 +0200
Code layout corrected.
---
src/BD_Shape_templates.hh | 2 +- src/Bit_Matrix.cc | 2 +- src/Box_templates.hh | 4 ++-- ...Difference_Floating_Point_Expression_inlines.hh | 2 +- src/Generator_System.cc | 2 +- src/Grid_public.cc | 2 +- src/Polyhedron_nonpublic.cc | 8 +++++--- src/Polyhedron_public.cc | 11 ++++++----- src/checked_ext_inlines.hh | 4 ++-- src/checked_float_inlines.hh | 2 +- 10 files changed, 21 insertions(+), 18 deletions(-)
diff --git a/src/BD_Shape_templates.hh b/src/BD_Shape_templates.hh index 89d36ba..e8ae6f1 100644 --- a/src/BD_Shape_templates.hh +++ b/src/BD_Shape_templates.hh @@ -1521,7 +1521,7 @@ BD_Shape<T>::relation_with(const Constraint& c) const { return Poly_Con_Relation::saturates() && Poly_Con_Relation::is_included(); } - else{ + else { // The zero-dimensional point saturates // neither the positivity constraint 1 >= 0, // nor the strict positivity constraint 1 > 0. diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index a18a908..59db006 100644 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -33,7 +33,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace PPL = Parma_Polyhedra_Library;
PPL::Bit_Matrix& -PPL::Bit_Matrix::operator=(const Bit_Matrix& y){ +PPL::Bit_Matrix::operator=(const Bit_Matrix& y) { rows = y.rows; row_size = y.row_size; PPL_ASSERT(OK()); diff --git a/src/Box_templates.hh b/src/Box_templates.hh index d05b675..326f14b 100644 --- a/src/Box_templates.hh +++ b/src/Box_templates.hh @@ -4393,12 +4393,12 @@ IO_Operators::operator<<(std::ostream& s, const Box<ITV>& box) { else if (box.is_universe()) { s << "true"; } - else{ + else { for (dimension_type k = 0, space_dim = box.space_dimension(); k < space_dim; ) { s << Variable(k) << " in " << box[k]; ++k; - if (k < space_dim){ + if (k < space_dim) { s << ", "; } else { diff --git a/src/Difference_Floating_Point_Expression_inlines.hh b/src/Difference_Floating_Point_Expression_inlines.hh index 61d3426..4f2714a 100644 --- a/src/Difference_Floating_Point_Expression_inlines.hh +++ b/src/Difference_Floating_Point_Expression_inlines.hh @@ -35,7 +35,7 @@ Difference_Floating_Point_Expression<FP_Interval_Type, FP_Format> ::Difference_Floating_Point_Expression( Floating_Point_Expression<FP_Interval_Type, FP_Format>* const x, Floating_Point_Expression<FP_Interval_Type, FP_Format>* const y) - : first_operand(x), second_operand(y){ + : first_operand(x), second_operand(y) { assert(x != 0); assert(y != 0); } diff --git a/src/Generator_System.cc b/src/Generator_System.cc index f8e2b16..81e7cbf 100644 --- a/src/Generator_System.cc +++ b/src/Generator_System.cc @@ -255,7 +255,7 @@ PPL::Generator_System::insert_pending(Generator& g, Recycle_Input) { if (sys.topology() == g.topology()) { sys.insert_pending(g, Recycle_Input()); } - else{ + else { // `*this' and `g' have different topologies. if (sys.is_necessarily_closed()) { convert_into_non_necessarily_closed(); diff --git a/src/Grid_public.cc b/src/Grid_public.cc index 825e4cc..11e93d1 100644 --- a/src/Grid_public.cc +++ b/src/Grid_public.cc @@ -2136,7 +2136,7 @@ generalized_affine_image(const Variable var,
// Test if minimization, possibly in affine_image, found an empty // grid. - if (marked_empty()){ + if (marked_empty()) { return; }
diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 70addd4..778e46d 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -411,8 +411,9 @@ PPL::Polyhedron::quick_equivalence_test(const Polyhedron& y) const { y.obtain_sorted_constraints(); if (x.con_sys == y.con_sys) { return Polyhedron::TVB_TRUE; - }else { - return Polyhedron::TVB_FALSE; + } + else { + return Polyhedron::TVB_FALSE; } } } @@ -1482,7 +1483,8 @@ PPL::Polyhedron::refine_no_check(const Constraint& c) { else { con_sys.insert(nc_expr == 0); } - }else { + } + else { if (adding_pending) { con_sys.insert_pending(nc_expr >= 0); } diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index ba604d8..c54c888 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -1335,7 +1335,7 @@ PPL::Polyhedron::add_congruence(const Congruence& cg) {
// Handle the case of proper congruences first. if (cg.is_proper_congruence()) { - if (cg.is_tautological()){ + if (cg.is_tautological()) { return; } if (cg.is_inconsistent()) { @@ -1849,7 +1849,8 @@ PPL::Polyhedron::refine_with_constraints(const Constraint_System& cs) { else { con_sys.insert(nc_expr == 0); } - }else { + } + else { if (adding_pending) { con_sys.insert_pending(nc_expr >= 0); } @@ -2363,7 +2364,7 @@ PPL::Polyhedron::simplify_using_context_assign(const Polyhedron& y) { goto ruled_out; } } - else{ + else { // Constraint `c' is an equality. if (sp_sign != 0) { goto ruled_out; @@ -2773,7 +2774,7 @@ affine_image(const Variable var, if (denominator > 0) { gen_sys.affine_image(var, expr, denominator); } - else{ + else { gen_sys.affine_image(var, -expr, -denominator); } } @@ -3056,7 +3057,7 @@ bounded_affine_preimage(const Variable var, if (constraints_are_up_to_date()) { con_sys.swap_space_dimensions(var, new_var); } - if (generators_are_up_to_date()){ + if (generators_are_up_to_date()) { gen_sys.swap_space_dimensions(var, new_var); }
diff --git a/src/checked_ext_inlines.hh b/src/checked_ext_inlines.hh index 9955a82..9ec2ca8 100644 --- a/src/checked_ext_inlines.hh +++ b/src/checked_ext_inlines.hh @@ -49,7 +49,7 @@ ext_to_handle(const Type& x) { template <typename Policy, typename Type> inline Result_Relation sgn_ext(const Type& x) { - if (!ext_to_handle<Policy>(x)){ + if (!ext_to_handle<Policy>(x)) { goto native; } if (is_nan<Policy>(x)) { @@ -771,7 +771,7 @@ template <typename To_Policy, typename From_Policy, typename To, typename From> inline Result smod_2exp_ext(To& to, const From& x, unsigned int exp, Rounding_Dir dir) { - if (!ext_to_handle<From_Policy>(x)){ + if (!ext_to_handle<From_Policy>(x)) { goto native; } if (is_nan<From_Policy>(x)) { diff --git a/src/checked_float_inlines.hh b/src/checked_float_inlines.hh index 05aa0c5..51bbdf5 100644 --- a/src/checked_float_inlines.hh +++ b/src/checked_float_inlines.hh @@ -1111,7 +1111,7 @@ template <typename Policy, typename Type> inline Result output_float(std::ostream& os, const Type from, const Numeric_Format&, Rounding_Dir) { - if (from == 0){ + if (from == 0) { os << "0"; } else if (is_minf<Policy>(from)) {