[PPL-devel] [GIT] ppl/ppl(master): Code layout corrected.
Roberto Bagnara
roberto.bagnara at bugseng.com
Sat Sep 27 20:41:29 CEST 2014
Module: ppl/ppl
Branch: master
Commit: 0f7542020b25c0c4d503ed84bd8495d0ee9b305b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f7542020b25c0c4d503ed84bd8495d0ee9b305b
Author: Roberto Bagnara <roberto.bagnara at 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)) {
More information about the PPL-devel
mailing list