[PPL-devel] [GIT] ppl/ppl(master): Converted assert in PPL_ASSERT.
Abramo Bagnara
abramo.bagnara at gmail.com
Mon Jul 13 14:32:07 CEST 2009
Module: ppl/ppl
Branch: master
Commit: b1f6a84ec0489028fe952a88f38d46713ea46f66
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec0489028fe952a88f38d46713ea46f66
Author: Abramo Bagnara <abramo.bagnara at 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=b1f6a84ec0489028fe952a88f38d46713ea46f66
More information about the PPL-devel
mailing list