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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 24 12:31:20 2011 +0100

Do not use the <TAB> character for code layout. Detected by ECLAIR service tabindnt.

---

src/Affine_Space.cc | 37 +- src/Affine_Space.defs.hh | 92 +- src/Any_Pointset.defs.hh | 506 ++++---- src/Ask_Tell.inlines.hh | 12 +- src/Ask_Tell.templates.hh | 124 +- src/BDS_Status.inlines.hh | 6 +- src/BD_Shape.cc | 22 +- src/BD_Shape.defs.hh | 22 +- src/BD_Shape.inlines.hh | 128 +- src/BD_Shape.templates.hh | 88 +- src/BHRZ03_Certificate.cc | 76 +- src/BHRZ03_Certificate.defs.hh | 2 +- src/BHRZ03_Certificate.inlines.hh | 2 +- src/Bit_Matrix.cc | 18 +- src/Bit_Matrix.inlines.hh | 4 +- src/Bit_Row.cc | 12 +- src/Bit_Row.defs.hh | 4 +- src/Boundary.defs.hh | 112 +- src/Box.cc | 28 +- src/Box.defs.hh | 210 ++-- src/Box.inlines.hh | 76 +- src/Box.templates.hh | 1254 ++++++++++---------- src/C_Polyhedron.cc | 52 +- src/C_Polyhedron.defs.hh | 2 +- src/C_Polyhedron.inlines.hh | 120 +- src/Cast_Floating_Point_Expression.defs.hh | 7 +- src/Checked_Number.cc | 8 +- src/Checked_Number.defs.hh | 156 ++-- src/Checked_Number.inlines.hh | 308 +++--- src/Congruence.cc | 66 +- src/Congruence.defs.hh | 18 +- src/Congruence.inlines.hh | 12 +- src/Congruence_System.cc | 106 +- src/Congruence_System.defs.hh | 16 +- src/Congruence_System.inlines.hh | 6 +- src/Constant_Floating_Point_Expression.defs.hh | 8 +- src/Constraint.cc | 136 ++-- src/Constraint.defs.hh | 4 +- src/Constraint_System.cc | 360 +++--- src/Constraint_System.defs.hh | 18 +- src/Constraint_System.inlines.hh | 6 +- src/DB_Matrix.defs.hh | 36 +- src/DB_Matrix.inlines.hh | 96 +- src/DB_Matrix.templates.hh | 120 +- src/DB_Row.defs.hh | 4 +- src/DB_Row.inlines.hh | 20 +- src/DB_Row.templates.hh | 22 +- src/Dense_Matrix.cc | 86 +- src/Dense_Matrix.defs.hh | 2 +- src/Determinate.inlines.hh | 2 +- src/Difference_Floating_Point_Expression.defs.hh | 4 +- src/Division_Floating_Point_Expression.defs.hh | 8 +- src/Float.defs.hh | 18 +- src/Float.inlines.hh | 2 +- src/Float.templates.hh | 6 +- src/Floating_Point_Expression.templates.hh | 8 +- src/GMP_Integer.defs.hh | 14 +- src/GMP_Integer.inlines.hh | 6 +- src/Generator.cc | 90 +- src/Generator.defs.hh | 16 +- src/Generator.inlines.hh | 88 +- src/Generator_System.cc | 780 ++++++------ src/Generator_System.defs.hh | 18 +- src/Generator_System.inlines.hh | 6 +- src/Grid.defs.hh | 260 ++-- src/Grid.inlines.hh | 80 +- src/Grid.templates.hh | 130 +- src/Grid_Certificate.cc | 26 +- src/Grid_Certificate.defs.hh | 2 +- src/Grid_Certificate.inlines.hh | 2 +- src/Grid_Generator.cc | 66 +- src/Grid_Generator.defs.hh | 18 +- src/Grid_Generator.inlines.hh | 6 +- src/Grid_Generator_System.cc | 66 +- src/Grid_Generator_System.defs.hh | 16 +- src/Grid_Generator_System.inlines.hh | 6 +- src/Grid_Status.cc | 14 +- src/Grid_chdims.cc | 56 +- src/Grid_conversion.cc | 178 ++-- src/Grid_nonpublic.cc | 146 ++-- src/Grid_public.cc | 632 +++++----- src/Grid_simplify.cc | 162 ++-- src/Grid_widenings.cc | 80 +- src/H79_Certificate.cc | 5 +- src/H79_Certificate.defs.hh | 2 +- src/H79_Certificate.inlines.hh | 2 +- src/Has_Assign_Or_Swap.hh | 4 +- src/Interval.defs.hh | 92 +- src/Interval.inlines.hh | 242 ++-- src/Interval.templates.hh | 24 +- src/Interval_Info.defs.hh | 48 +- src/Interval_Restriction.defs.hh | 56 +- src/Linear_Expression.cc | 50 +- src/Linear_Expression.inlines.hh | 2 +- src/Linear_Form.templates.hh | 11 +- src/Linear_Row.cc | 20 +- src/Linear_Row.defs.hh | 2 +- src/Linear_Row.inlines.hh | 8 +- src/Linear_System.cc | 104 +- src/Linear_System.defs.hh | 4 +- src/Linear_System.inlines.hh | 10 +- src/MIP_Problem.cc | 36 +- src/MIP_Problem.defs.hh | 12 +- ...ultiplication_Floating_Point_Expression.defs.hh | 6 +- src/NNC_Polyhedron.cc | 50 +- src/NNC_Polyhedron.defs.hh | 2 +- src/NNC_Polyhedron.inlines.hh | 120 +- src/OR_Matrix.defs.hh | 36 +- src/OR_Matrix.inlines.hh | 102 +- src/OR_Matrix.templates.hh | 12 +- src/Octagonal_Shape.cc | 33 +- src/Octagonal_Shape.defs.hh | 2 +- src/Octagonal_Shape.inlines.hh | 136 ++-- src/Octagonal_Shape.templates.hh | 10 +- src/Og_Status.inlines.hh | 2 +- src/Opposite_Floating_Point_Expression.defs.hh | 4 +- src/PIP_Problem.cc | 11 +- src/PIP_Problem.defs.hh | 2 +- src/PIP_Tree.cc | 2 +- src/Partial_Function.inlines.hh | 2 +- src/Partially_Reduced_Product.defs.hh | 74 +- src/Partially_Reduced_Product.inlines.hh | 38 +- src/Partially_Reduced_Product.templates.hh | 44 +- src/Ph_Status.cc | 14 +- src/Pointset_Ask_Tell.cc | 4 +- src/Pointset_Ask_Tell.defs.hh | 10 +- src/Pointset_Ask_Tell.inlines.hh | 8 +- src/Pointset_Ask_Tell.templates.hh | 48 +- src/Pointset_Powerset.cc | 94 +- src/Pointset_Powerset.defs.hh | 78 +- src/Pointset_Powerset.inlines.hh | 20 +- src/Pointset_Powerset.templates.hh | 118 +- src/Poly_Con_Relation.defs.hh | 4 +- src/Poly_Gen_Relation.defs.hh | 4 +- src/Polyhedron.defs.hh | 246 ++-- src/Polyhedron.inlines.hh | 30 +- src/Polyhedron.templates.hh | 62 +- src/Polyhedron_chdims.cc | 140 ++-- src/Polyhedron_nonpublic.cc | 602 +++++----- src/Polyhedron_public.cc | 832 +++++++------- src/Polyhedron_widenings.cc | 280 +++--- src/Powerset.defs.hh | 6 +- src/Powerset.templates.hh | 56 +- src/Ptr_Iterator.defs.hh | 14 +- src/Ptr_Iterator.inlines.hh | 2 +- src/Scalar_Products.cc | 32 +- src/Scalar_Products.defs.hh | 30 +- src/Scalar_Products.inlines.hh | 58 +- src/Sum_Floating_Point_Expression.defs.hh | 6 +- src/Temp.inlines.hh | 2 +- src/Variable.defs.hh | 2 +- src/Variable.inlines.hh | 8 +- src/Variable_Floating_Point_Expression.defs.hh | 4 +- src/Variables_Set.cc | 4 +- src/Weight_Profiler.cc | 20 +- src/Weight_Profiler.defs.hh | 8 +- src/Widening_Function.defs.hh | 4 +- src/Widening_Function.inlines.hh | 4 +- src/assert.hh | 2 +- src/checked.defs.hh | 44 +- src/checked.inlines.hh | 84 +- src/checked_ext.defs.hh | 28 +- src/checked_ext.inlines.hh | 198 ++-- src/checked_float.inlines.hh | 28 +- src/checked_int.inlines.hh | 92 +- src/checked_mpq.inlines.hh | 26 +- src/checked_mpz.inlines.hh | 28 +- src/checked_numeric_limits.hh | 76 +- src/conversion.cc | 568 +++++----- src/distances.inlines.hh | 14 +- src/fpu-c99.inlines.hh | 4 +- src/fpu-none.inlines.hh | 14 +- src/fpu.defs.hh | 6 +- src/globals.defs.hh | 148 ++-- src/globals.inlines.hh | 2 +- src/intervals.defs.hh | 50 +- src/iterator_to_const.defs.hh | 4 +- src/iterator_to_const.inlines.hh | 4 +- src/linearize.hh | 2 +- src/math_utilities.defs.hh | 10 +- src/math_utilities.inlines.hh | 14 +- src/meta_programming.hh | 20 +- src/minimize.cc | 24 +- src/namespaces.hh | 2 +- src/ppl-config.cc.in | 102 +- src/simplify.cc | 90 +- src/swapping_sort.templates.hh | 6 +- src/termination.cc | 142 ++-- src/termination.defs.hh | 16 +- src/termination.templates.hh | 46 +- src/wrap_string.cc | 38 +- src/wrap_string.hh | 6 +- utils/timings.cc | 8 +- 193 files changed, 6929 insertions(+), 6935 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f6060073e...