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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jul 13 14:28:04 2009 +0200

Converted assert in PPL_ASSERT.

---

src/Affine_Space.cc | 6 +- src/Ask_Tell.inlines.hh | 10 +- src/Ask_Tell.templates.hh | 10 +- src/BDS_Status.inlines.hh | 4 +- src/BD_Shape.cc | 10 +- src/BD_Shape.inlines.hh | 26 ++-- src/BD_Shape.templates.hh | 224 ++++++++++++++-------------- src/BHRZ03_Certificate.cc | 24 ++-- src/BHRZ03_Certificate.defs.hh | 2 +- src/BHRZ03_Certificate.inlines.hh | 2 +- src/Bit_Matrix.cc | 16 +- src/Bit_Matrix.inlines.hh | 16 +- src/Bit_Row.cc | 42 +++--- src/Bit_Row.inlines.hh | 34 ++-- src/Bool4.defs.hh | 2 +- src/Boundary.defs.hh | 46 +++--- src/Box.cc | 10 +- src/Box.inlines.hh | 26 ++-- src/Box.templates.hh | 190 ++++++++++++------------ src/Box_Status.inlines.hh | 2 +- src/C_Polyhedron.cc | 2 +- src/Checked_Number.inlines.hh | 2 +- src/Checked_Number.templates.hh | 4 +- src/Circular_Interval.defs.hh | 66 ++++---- src/Coefficient.cc | 8 +- src/Coefficient.inlines.hh | 2 +- src/Congruence.cc | 12 +- src/Congruence.inlines.hh | 4 +- src/Congruence_System.cc | 38 +++--- src/Congruence_System.inlines.hh | 4 +- src/Constraint.cc | 22 ++-- src/Constraint.inlines.hh | 10 +- src/Constraint_System.cc | 32 ++-- src/Constraint_System.inlines.hh | 2 +- src/DB_Matrix.inlines.hh | 8 +- src/DB_Matrix.templates.hh | 8 +- src/DB_Row.inlines.hh | 38 +++--- src/DB_Row.templates.hh | 8 +- src/Determinate.defs.hh | 2 +- src/Determinate.inlines.hh | 4 +- src/Float.defs.hh | 2 +- src/GMP_Integer.inlines.hh | 4 +- src/Generator.cc | 10 +- src/Generator.inlines.hh | 8 +- src/Generator_System.cc | 48 +++--- src/Generator_System.inlines.hh | 2 +- src/Grid.inlines.hh | 2 +- src/Grid.templates.hh | 16 +- src/Grid_Certificate.cc | 10 +- src/Grid_Certificate.defs.hh | 2 +- src/Grid_Certificate.inlines.hh | 2 +- src/Grid_Generator.cc | 10 +- src/Grid_Generator.inlines.hh | 6 +- src/Grid_Generator_System.cc | 34 ++-- src/Grid_Generator_System.inlines.hh | 4 +- src/Grid_Status.cc | 4 +- src/Grid_chdims.cc | 42 +++--- src/Grid_conversion.cc | 30 ++-- src/Grid_nonpublic.cc | 104 +++++++------- src/Grid_public.cc | 157 ++++++++++--------- src/Grid_simplify.cc | 46 +++--- src/Grid_widenings.cc | 52 ++++---- src/H79_Certificate.cc | 8 +- src/H79_Certificate.defs.hh | 2 +- src/Interval.defs.hh | 58 ++++---- src/Interval.inlines.hh | 96 ++++++------ src/Interval.templates.hh | 10 +- src/Interval_Restriction.defs.hh | 68 ++++---- src/Linear_Expression.cc | 4 +- src/Linear_Expression.inlines.hh | 2 +- src/Linear_Row.cc | 4 +- src/Linear_Row.inlines.hh | 10 +- src/Linear_System.cc | 108 +++++++------- src/Linear_System.inlines.hh | 8 +- src/MIP_Problem.cc | 72 +++++----- src/MIP_Problem.inlines.hh | 6 +- src/MIP_Problem.templates.hh | 4 +- src/Makefile.am | 1 + src/Matrix.cc | 45 +++--- src/Matrix.inlines.hh | 8 +- src/NNC_Polyhedron.cc | 6 +- src/OR_Matrix.inlines.hh | 12 +- src/OR_Matrix.templates.hh | 2 +- src/Octagonal_Shape.cc | 6 +- src/Octagonal_Shape.inlines.hh | 30 ++-- src/Octagonal_Shape.templates.hh | 210 +++++++++++++------------- src/Og_Status.inlines.hh | 2 +- src/Partially_Reduced_Product.inlines.hh | 2 +- src/Partially_Reduced_Product.templates.hh | 8 +- src/Ph_Status.cc | 4 +- src/Pointset_Ask_Tell.cc | 4 +- src/Pointset_Ask_Tell.inlines.hh | 6 +- src/Pointset_Ask_Tell.templates.hh | 28 ++-- src/Pointset_Powerset.cc | 10 +- src/Pointset_Powerset.inlines.hh | 20 ++-- src/Pointset_Powerset.templates.hh | 88 ++++++------ src/Poly_Con_Relation.cc | 2 +- src/Poly_Gen_Relation.cc | 2 +- src/Polyhedron.inlines.hh | 8 +- src/Polyhedron.templates.hh | 10 +- src/Polyhedron_chdims.cc | 42 +++--- src/Polyhedron_nonpublic.cc | 220 ++++++++++++++-------------- src/Polyhedron_public.cc | 166 ++++++++++---------- src/Polyhedron_widenings.cc | 88 ++++++------ src/Powerset.inlines.hh | 4 +- src/Powerset.templates.hh | 22 ++-- src/Ptr_Iterator.inlines.hh | 2 +- src/Result.inlines.hh | 2 +- src/Rounding_Dir.inlines.hh | 6 +- src/Row.cc | 8 +- src/Row.inlines.hh | 38 +++--- src/Scalar_Products.cc | 22 ++-- src/Scalar_Products.inlines.hh | 8 +- src/Widening_Function.inlines.hh | 2 +- src/algorithms.hh | 2 +- src/assert.hh | 63 ++++++++ src/checked.inlines.hh | 8 +- src/checked_ext.inlines.hh | 10 +- src/checked_float.inlines.hh | 24 ++-- src/checked_int.inlines.hh | 8 +- src/checked_mpq.inlines.hh | 2 +- src/checked_mpz.inlines.hh | 16 +- src/conversion.cc | 16 +- src/globals.cc | 2 + src/globals.inlines.hh | 15 ++- src/initializer.hh | 2 +- src/intervals.defs.hh | 18 +- src/math_utilities.inlines.hh | 6 +- src/minimize.cc | 20 ++-- src/ppl_header.hh | 2 +- src/simplify.cc | 6 +- src/wrap_assign.hh | 10 +- 132 files changed, 1746 insertions(+), 1661 deletions(-)

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