[PPL-devel] [GIT] ppl/ppl(master): Guarantee that header file names are unique as per C++11's 16.2#5.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Aug 20 13:24:03 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 15a09460fd3ff29367a6d96f9ada8eb792f0d73b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15a09460fd3ff29367a6d96f9ada8eb792f0d73b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Aug 20 13:19:42 2012 +0200
Guarantee that header file names are unique as per C++11's 16.2#5.
Detected by ECLAIR service hedrname.
---
README.configure | 2 +-
doc/Makefile.am | 52 +-
interfaces/C/Makefile.am | 4 +-
interfaces/C/ppl_c_implementation_common.cc | 2 +-
interfaces/C/ppl_c_implementation_common.defs.hh | 259 -
interfaces/C/ppl_c_implementation_common_defs.hh | 259 +
...s.hh => ppl_c_implementation_common_inlines.hh} | 0
interfaces/C/ppl_interface_generator_c_cc_files.m4 | 2 +-
interfaces/Java/jni/Makefile.am | 4 +-
...pl_interface_generator_java_classes_cc_files.m4 | 4 +-
interfaces/Java/jni/ppl_java_common.cc | 2 +-
interfaces/Java/jni/ppl_java_common.defs.hh | 899 ---
interfaces/Java/jni/ppl_java_common_defs.hh | 899 +++
...ommon.inlines.hh => ppl_java_common_inlines.hh} | 0
interfaces/Java/jni/ppl_java_globals.cc | 2 +-
interfaces/OCaml/Makefile.am | 22 +-
.../ppl_interface_generator_ocaml_hh_files.m4 | 2 +-
interfaces/OCaml/ppl_ocaml_common.cc | 2 +-
interfaces/OCaml/ppl_ocaml_common.defs.hh | 234 -
interfaces/OCaml/ppl_ocaml_common_defs.hh | 234 +
...mmon.inlines.hh => ppl_ocaml_common_inlines.hh} | 0
interfaces/Prolog/Ciao/ciao_efli.cc | 2 +-
interfaces/Prolog/GNU/gprolog_efli.cc | 2 +-
interfaces/Prolog/Makefile.am | 4 +-
interfaces/Prolog/XSB/xsb_efli.cc | 2 +-
.../ppl_interface_generator_prolog_cc_files.m4 | 2 +-
.../ppl_interface_generator_prolog_hh_files.m4 | 2 +-
interfaces/Prolog/ppl_prolog_common.cc | 2 +-
interfaces/Prolog/ppl_prolog_common.defs.hh | 1084 ---
interfaces/Prolog/ppl_prolog_common_defs.hh | 1084 +++
...mon.inlines.hh => ppl_prolog_common_inlines.hh} | 0
src/Affine_Space.cc | 2 +-
src/Affine_Space.defs.hh | 1715 -----
src/Affine_Space_defs.hh | 1715 +++++
...ne_Space.inlines.hh => Affine_Space_inlines.hh} | 0
...Affine_Space.types.hh => Affine_Space_types.hh} | 0
src/Any_Pointset.defs.hh | 1375 ----
src/Any_Pointset_defs.hh | 1375 ++++
...Pointset.inlines.hh => Any_Pointset_inlines.hh} | 0
...Any_Pointset.types.hh => Any_Pointset_types.hh} | 0
src/Ask_Tell.defs.hh | 374 -
src/Ask_Tell_defs.hh | 374 +
src/{Ask_Tell.inlines.hh => Ask_Tell_inlines.hh} | 0
...Ask_Tell.templates.hh => Ask_Tell_templates.hh} | 0
src/{Ask_Tell.types.hh => Ask_Tell_types.hh} | 0
src/BDS_Status.idefs.hh | 117 -
src/BDS_Status_idefs.hh | 117 +
...BDS_Status.inlines.hh => BDS_Status_inlines.hh} | 0
src/BD_Shape.cc | 2 +-
src/BD_Shape.defs.hh | 2370 ------
src/BD_Shape.inlines.hh | 910 ---
src/BD_Shape.templates.hh | 6789 ----------------
src/BD_Shape_defs.hh | 2370 ++++++
src/BD_Shape_inlines.hh | 910 +++
src/BD_Shape_templates.hh | 6789 ++++++++++++++++
src/{BD_Shape.types.hh => BD_Shape_types.hh} | 0
src/BHRZ03_Certificate.cc | 4 +-
src/BHRZ03_Certificate.defs.hh | 118 -
src/BHRZ03_Certificate_defs.hh | 118 +
...te.inlines.hh => BHRZ03_Certificate_inlines.hh} | 0
...ficate.types.hh => BHRZ03_Certificate_types.hh} | 0
src/Bit_Matrix.cc | 8 +-
src/Bit_Matrix.defs.hh | 187 -
src/Bit_Matrix_defs.hh | 187 +
...Bit_Matrix.inlines.hh => Bit_Matrix_inlines.hh} | 0
src/{Bit_Matrix.types.hh => Bit_Matrix_types.hh} | 0
src/Bit_Row.cc | 2 +-
src/Bit_Row.defs.hh | 214 -
src/Bit_Row.inlines.hh | 236 -
src/Bit_Row_defs.hh | 214 +
src/Bit_Row_inlines.hh | 236 +
src/{Bit_Row.types.hh => Bit_Row_types.hh} | 0
src/Boundary.defs.hh | 738 --
src/Boundary_defs.hh | 738 ++
src/Box.cc | 2 +-
src/Box.defs.hh | 2286 ------
src/Box.inlines.hh | 692 --
src/Box.templates.hh | 4287 -----------
src/Box_Status.idefs.hh | 115 -
src/Box_Status_idefs.hh | 115 +
...Box_Status.inlines.hh => Box_Status_inlines.hh} | 0
src/Box_defs.hh | 2286 ++++++
src/Box_inlines.hh | 692 ++
src/Box_templates.hh | 4287 +++++++++++
src/{Box.types.hh => Box_types.hh} | 0
src/CO_Tree.cc | 2 +-
src/CO_Tree.defs.hh | 1559 ----
src/CO_Tree_defs.hh | 1559 ++++
src/{CO_Tree.inlines.hh => CO_Tree_inlines.hh} | 0
src/{CO_Tree.templates.hh => CO_Tree_templates.hh} | 0
src/{CO_Tree.types.hh => CO_Tree_types.hh} | 0
src/C_Polyhedron.cc | 6 +-
src/C_Polyhedron.defs.hh | 280 -
src/C_Polyhedron_defs.hh | 280 +
...lyhedron.inlines.hh => C_Polyhedron_inlines.hh} | 0
...C_Polyhedron.types.hh => C_Polyhedron_types.hh} | 0
src/Cast_Floating_Point_Expression.defs.hh | 182 -
src/Cast_Floating_Point_Expression.inlines.hh | 64 -
src/Cast_Floating_Point_Expression_defs.hh | 182 +
src/Cast_Floating_Point_Expression_inlines.hh | 64 +
...=> Cast_Floating_Point_Expression_templates.hh} | 0
....hh => Cast_Floating_Point_Expression_types.hh} | 0
src/Checked_Number.cc | 2 +-
src/Checked_Number.defs.hh | 1068 ---
src/Checked_Number.inlines.hh | 848 --
src/Checked_Number_defs.hh | 1068 +++
src/Checked_Number_inlines.hh | 848 ++
...er.templates.hh => Checked_Number_templates.hh} | 0
...ked_Number.types.hh => Checked_Number_types.hh} | 0
src/Coefficient.cc | 2 +-
src/Coefficient.defs.hh | 61 -
src/Coefficient.types.hh | 182 -
src/Coefficient_defs.hh | 61 +
...efficient.inlines.hh => Coefficient_inlines.hh} | 0
src/Coefficient_types.hh | 182 +
src/Concrete_Expression.cc | 2 +-
src/Concrete_Expression.defs.hh | 201 -
src/Concrete_Expression_defs.hh | 201 +
...n.inlines.hh => Concrete_Expression_inlines.hh} | 0
...ssion.types.hh => Concrete_Expression_types.hh} | 0
src/Congruence.cc | 6 +-
src/Congruence.defs.hh | 506 --
src/Congruence_System.cc | 16 +-
src/Congruence_System.defs.hh | 544 --
src/Congruence_System.inlines.hh | 272 -
src/Congruence_System_defs.hh | 544 ++
src/Congruence_System_inlines.hh | 272 +
..._System.types.hh => Congruence_System_types.hh} | 0
src/Congruence_defs.hh | 506 ++
...Congruence.inlines.hh => Congruence_inlines.hh} | 0
src/{Congruence.types.hh => Congruence_types.hh} | 0
src/Constant_Floating_Point_Expression.defs.hh | 173 -
src/Constant_Floating_Point_Expression.inlines.hh | 80 -
src/Constant_Floating_Point_Expression_defs.hh | 173 +
src/Constant_Floating_Point_Expression_inlines.hh | 80 +
...=> Constant_Floating_Point_Expression_types.hh} | 0
src/Constraint.cc | 10 +-
src/Constraint.defs.hh | 836 --
src/Constraint.inlines.hh | 577 --
src/Constraint_System.cc | 14 +-
src/Constraint_System.defs.hh | 687 --
src/Constraint_System.inlines.hh | 439 --
src/Constraint_System_defs.hh | 687 ++
src/Constraint_System_inlines.hh | 439 ++
..._System.types.hh => Constraint_System_types.hh} | 0
src/Constraint_defs.hh | 836 ++
src/Constraint_inlines.hh | 577 ++
src/{Constraint.types.hh => Constraint_types.hh} | 0
src/DB_Matrix.defs.hh | 325 -
src/DB_Matrix.inlines.hh | 330 -
src/DB_Matrix_defs.hh | 325 +
src/DB_Matrix_inlines.hh | 330 +
..._Matrix.templates.hh => DB_Matrix_templates.hh} | 0
src/{DB_Matrix.types.hh => DB_Matrix_types.hh} | 0
src/DB_Row.defs.hh | 470 --
src/DB_Row.inlines.hh | 428 -
src/DB_Row.templates.hh | 215 -
src/DB_Row_defs.hh | 470 ++
src/DB_Row_inlines.hh | 428 +
src/DB_Row_templates.hh | 215 +
src/{DB_Row.types.hh => DB_Row_types.hh} | 0
src/Dense_Row.cc | 6 +-
src/Dense_Row.defs.hh | 561 --
src/Dense_Row_defs.hh | 561 ++
src/{Dense_Row.inlines.hh => Dense_Row_inlines.hh} | 0
...nse_Row.templates.hh => Dense_Row_templates.hh} | 0
src/{Dense_Row.types.hh => Dense_Row_types.hh} | 0
src/Determinate.defs.hh | 331 -
src/Determinate_defs.hh | 331 +
...terminate.inlines.hh => Determinate_inlines.hh} | 0
src/{Determinate.types.hh => Determinate_types.hh} | 0
src/Difference_Floating_Point_Expression.defs.hh | 221 -
...Difference_Floating_Point_Expression.inlines.hh | 70 -
src/Difference_Floating_Point_Expression_defs.hh | 221 +
...Difference_Floating_Point_Expression_inlines.hh | 70 +
...ference_Floating_Point_Expression_templates.hh} | 0
... Difference_Floating_Point_Expression_types.hh} | 0
src/Division_Floating_Point_Expression.defs.hh | 237 -
src/Division_Floating_Point_Expression.inlines.hh | 69 -
src/Division_Floating_Point_Expression_defs.hh | 237 +
src/Division_Floating_Point_Expression_inlines.hh | 69 +
...ivision_Floating_Point_Expression_templates.hh} | 0
...=> Division_Floating_Point_Expression_types.hh} | 0
src/Doubly_Linked_Object.defs.hh | 65 -
src/Doubly_Linked_Object_defs.hh | 65 +
....inlines.hh => Doubly_Linked_Object_inlines.hh} | 0
...ject.types.hh => Doubly_Linked_Object_types.hh} | 0
src/EList.defs.hh | 90 -
src/EList_Iterator.defs.hh | 92 -
src/EList_Iterator.inlines.hh | 113 -
src/EList_Iterator_defs.hh | 92 +
src/EList_Iterator_inlines.hh | 113 +
...t_Iterator.types.hh => EList_Iterator_types.hh} | 0
src/EList_defs.hh | 90 +
src/{EList.inlines.hh => EList_inlines.hh} | 0
src/{EList.types.hh => EList_types.hh} | 0
src/Expression_Adapter.defs.hh | 216 -
src/Expression_Adapter.inlines.hh | 229 -
src/Expression_Adapter_defs.hh | 216 +
src/Expression_Adapter_inlines.hh | 229 +
...dapter.types.hh => Expression_Adapter_types.hh} | 0
src/Expression_Hide_Inhomo.defs.hh | 147 -
src/Expression_Hide_Inhomo.inlines.hh | 218 -
src/Expression_Hide_Inhomo_defs.hh | 147 +
src/Expression_Hide_Inhomo_inlines.hh | 218 +
...mo.types.hh => Expression_Hide_Inhomo_types.hh} | 0
src/Expression_Hide_Last.defs.hh | 165 -
src/Expression_Hide_Last.inlines.hh | 241 -
src/Expression_Hide_Last_defs.hh | 165 +
src/Expression_Hide_Last_inlines.hh | 241 +
...Last.types.hh => Expression_Hide_Last_types.hh} | 0
src/Float.cc | 2 +-
src/Float.defs.hh | 516 --
src/Float.inlines.hh | 536 --
src/Float.templates.hh | 167 -
src/Float_defs.hh | 516 ++
src/Float_inlines.hh | 536 ++
src/Float_templates.hh | 167 +
src/Floating_Point_Expression.defs.hh | 212 -
src/Floating_Point_Expression.inlines.hh | 55 -
src/Floating_Point_Expression.templates.hh | 111 -
src/Floating_Point_Expression_defs.hh | 212 +
src/Floating_Point_Expression_inlines.hh | 55 +
src/Floating_Point_Expression_templates.hh | 111 +
...types.hh => Floating_Point_Expression_types.hh} | 0
src/GMP_Integer.defs.hh | 134 -
src/GMP_Integer.types.hh | 45 -
src/GMP_Integer_defs.hh | 134 +
...P_Integer.inlines.hh => GMP_Integer_inlines.hh} | 0
src/GMP_Integer_types.hh | 45 +
src/Generator.cc | 8 +-
src/Generator.defs.hh | 1030 ---
src/Generator_System.cc | 10 +-
src/Generator_System.defs.hh | 744 --
src/Generator_System.inlines.hh | 411 -
src/Generator_System_defs.hh | 744 ++
src/Generator_System_inlines.hh | 411 +
...r_System.types.hh => Generator_System_types.hh} | 0
src/Generator_defs.hh | 1030 +++
src/{Generator.inlines.hh => Generator_inlines.hh} | 0
src/{Generator.types.hh => Generator_types.hh} | 0
src/Grid.defs.hh | 2665 -------
src/Grid.inlines.hh | 383 -
src/Grid.templates.hh | 339 -
src/Grid_Certificate.cc | 4 +-
src/Grid_Certificate.defs.hh | 104 -
src/Grid_Certificate_defs.hh | 104 +
...cate.inlines.hh => Grid_Certificate_inlines.hh} | 0
...tificate.types.hh => Grid_Certificate_types.hh} | 0
src/Grid_Generator.cc | 6 +-
src/Grid_Generator.defs.hh | 796 --
src/Grid_Generator_System.cc | 10 +-
src/Grid_Generator_System.defs.hh | 514 --
src/Grid_Generator_System.inlines.hh | 279 -
src/Grid_Generator_System_defs.hh | 514 ++
src/Grid_Generator_System_inlines.hh | 279 +
...tem.types.hh => Grid_Generator_System_types.hh} | 0
src/Grid_Generator_defs.hh | 796 ++
...erator.inlines.hh => Grid_Generator_inlines.hh} | 0
..._Generator.types.hh => Grid_Generator_types.hh} | 0
src/Grid_Status.cc | 2 +-
src/Grid_Status.idefs.hh | 168 -
src/Grid_Status_idefs.hh | 168 +
...id_Status.inlines.hh => Grid_Status_inlines.hh} | 0
src/Grid_chdims.cc | 4 +-
src/Grid_conversion.cc | 2 +-
src/Grid_defs.hh | 2665 +++++++
src/Grid_inlines.hh | 383 +
src/Grid_nonpublic.cc | 8 +-
src/Grid_public.cc | 10 +-
src/Grid_simplify.cc | 2 +-
src/Grid_templates.hh | 339 +
src/{Grid.types.hh => Grid_types.hh} | 0
src/Grid_widenings.cc | 2 +-
src/H79_Certificate.cc | 4 +-
src/H79_Certificate.defs.hh | 98 -
src/H79_Certificate.inlines.hh | 71 -
src/H79_Certificate_defs.hh | 98 +
src/H79_Certificate_inlines.hh | 71 +
...rtificate.types.hh => H79_Certificate_types.hh} | 0
src/Handler.defs.hh | 96 -
src/Handler_defs.hh | 96 +
src/{Handler.inlines.hh => Handler_inlines.hh} | 0
src/{Handler.types.hh => Handler_types.hh} | 0
src/Init.cc | 34 +-
src/Init.defs.hh | 100 -
src/Init.inlines.hh | 48 -
src/Init_defs.hh | 100 +
src/Init_inlines.hh | 48 +
src/{Init.types.hh => Init_types.hh} | 0
src/Integer_Interval.hh | 2 +-
src/Interval.defs.hh | 761 --
src/Interval_Info.defs.hh | 285 -
src/Interval_Info_defs.hh | 285 +
...al_Info.inlines.hh => Interval_Info_inlines.hh} | 0
...terval_Info.types.hh => Interval_Info_types.hh} | 0
src/Interval_defs.hh | 761 ++
src/{Interval.inlines.hh => Interval_inlines.hh} | 0
...Interval.templates.hh => Interval_templates.hh} | 0
src/{Interval.types.hh => Interval_types.hh} | 0
src/Linear_Expression.cc | 8 +-
src/Linear_Expression.defs.hh | 928 ---
src/Linear_Expression.inlines.hh | 822 --
src/Linear_Expression_Impl.cc | 6 +-
src/Linear_Expression_Impl.defs.hh | 906 ---
src/Linear_Expression_Impl.inlines.hh | 282 -
src/Linear_Expression_Impl.templates.hh | 1314 ----
src/Linear_Expression_Impl_defs.hh | 906 +++
src/Linear_Expression_Impl_inlines.hh | 282 +
src/Linear_Expression_Impl_templates.hh | 1314 ++++
...pl.types.hh => Linear_Expression_Impl_types.hh} | 0
src/Linear_Expression_Interface.cc | 2 +-
src/Linear_Expression_Interface.defs.hh | 489 --
src/Linear_Expression_Interface_defs.hh | 489 ++
...pes.hh => Linear_Expression_Interface_types.hh} | 0
src/Linear_Expression_defs.hh | 928 +++
src/Linear_Expression_inlines.hh | 822 ++
...ression.types.hh => Linear_Expression_types.hh} | 0
src/Linear_Form.cc | 2 +-
src/Linear_Form.defs.hh | 499 --
src/Linear_Form.inlines.hh | 252 -
src/Linear_Form.templates.hh | 527 --
src/Linear_Form_defs.hh | 499 ++
src/Linear_Form_inlines.hh | 252 +
src/Linear_Form_templates.hh | 527 ++
src/{Linear_Form.types.hh => Linear_Form_types.hh} | 0
src/Linear_System.defs.hh | 582 --
src/Linear_System.inlines.hh | 698 --
src/Linear_System.templates.hh | 928 ---
src/Linear_System_defs.hh | 582 ++
src/Linear_System_inlines.hh | 698 ++
src/Linear_System_templates.hh | 928 +++
...near_System.types.hh => Linear_System_types.hh} | 0
src/MIP_Problem.cc | 26 +-
src/MIP_Problem.defs.hh | 980 ---
src/MIP_Problem.inlines.hh | 322 -
src/MIP_Problem.templates.hh | 181 -
src/MIP_Problem_defs.hh | 980 +++
src/MIP_Problem_inlines.hh | 322 +
src/MIP_Problem_templates.hh | 181 +
src/{MIP_Problem.types.hh => MIP_Problem_types.hh} | 0
src/Makefile.am | 674 +-
src/Matrix.defs.hh | 437 --
src/Matrix_defs.hh | 437 ++
src/{Matrix.inlines.hh => Matrix_inlines.hh} | 0
src/{Matrix.templates.hh => Matrix_templates.hh} | 0
src/{Matrix.types.hh => Matrix_types.hh} | 0
...ultiplication_Floating_Point_Expression.defs.hh | 251 -
...iplication_Floating_Point_Expression.inlines.hh | 71 -
...ultiplication_Floating_Point_Expression_defs.hh | 251 +
...iplication_Floating_Point_Expression_inlines.hh | 71 +
...ication_Floating_Point_Expression_templates.hh} | 0
...tiplication_Floating_Point_Expression_types.hh} | 0
src/NNC_Polyhedron.cc | 6 +-
src/NNC_Polyhedron.defs.hh | 256 -
src/NNC_Polyhedron.inlines.hh | 153 -
src/NNC_Polyhedron_defs.hh | 256 +
src/NNC_Polyhedron_inlines.hh | 153 +
...Polyhedron.types.hh => NNC_Polyhedron_types.hh} | 0
src/Numeric_Format.defs.hh | 38 -
src/Numeric_Format_defs.hh | 38 +
src/OR_Matrix.defs.hh | 610 --
src/OR_Matrix.inlines.hh | 751 --
src/OR_Matrix_defs.hh | 610 ++
src/OR_Matrix_inlines.hh | 751 ++
..._Matrix.templates.hh => OR_Matrix_templates.hh} | 0
src/{OR_Matrix.types.hh => OR_Matrix_types.hh} | 0
src/Octagonal_Shape.cc | 2 +-
src/Octagonal_Shape.defs.hh | 2324 ------
src/Octagonal_Shape.inlines.hh | 892 ---
src/Octagonal_Shape.templates.hh | 8115 --------------------
src/Octagonal_Shape_defs.hh | 2324 ++++++
src/Octagonal_Shape_inlines.hh | 892 +++
src/Octagonal_Shape_templates.hh | 8115 ++++++++++++++++++++
...nal_Shape.types.hh => Octagonal_Shape_types.hh} | 0
src/Og_Status.idefs.hh | 112 -
src/Og_Status_idefs.hh | 112 +
src/{Og_Status.inlines.hh => Og_Status_inlines.hh} | 0
src/Opposite_Floating_Point_Expression.defs.hh | 193 -
src/Opposite_Floating_Point_Expression.inlines.hh | 79 -
src/Opposite_Floating_Point_Expression_defs.hh | 193 +
src/Opposite_Floating_Point_Expression_inlines.hh | 79 +
...=> Opposite_Floating_Point_Expression_types.hh} | 0
src/PIP_Problem.cc | 4 +-
src/PIP_Problem.defs.hh | 834 --
src/PIP_Problem.templates.hh | 81 -
src/PIP_Problem_defs.hh | 834 ++
...P_Problem.inlines.hh => PIP_Problem_inlines.hh} | 0
src/PIP_Problem_templates.hh | 81 +
src/{PIP_Problem.types.hh => PIP_Problem_types.hh} | 0
src/PIP_Tree.cc | 4 +-
src/PIP_Tree.defs.hh | 836 --
src/PIP_Tree_defs.hh | 836 ++
src/{PIP_Tree.inlines.hh => PIP_Tree_inlines.hh} | 0
src/{PIP_Tree.types.hh => PIP_Tree_types.hh} | 0
src/Partial_Function.cc | 4 +-
src/Partial_Function.defs.hh | 87 -
src/Partial_Function_defs.hh | 87 +
...tion.inlines.hh => Partial_Function_inlines.hh} | 0
...Function.types.hh => Partial_Function_types.hh} | 0
src/Partially_Reduced_Product.defs.hh | 1689 ----
src/Partially_Reduced_Product.inlines.hh | 818 --
src/Partially_Reduced_Product.templates.hh | 710 --
src/Partially_Reduced_Product_defs.hh | 1689 ++++
src/Partially_Reduced_Product_inlines.hh | 818 ++
src/Partially_Reduced_Product_templates.hh | 710 ++
...types.hh => Partially_Reduced_Product_types.hh} | 0
src/Pending_Element.defs.hh | 77 -
src/Pending_Element_defs.hh | 77 +
...ement.inlines.hh => Pending_Element_inlines.hh} | 0
...g_Element.types.hh => Pending_Element_types.hh} | 0
src/Pending_List.defs.hh | 79 -
src/Pending_List_defs.hh | 79 +
...ing_List.inlines.hh => Pending_List_inlines.hh} | 0
...List.templates.hh => Pending_List_templates.hh} | 0
...Pending_List.types.hh => Pending_List_types.hh} | 0
src/Ph_Status.cc | 2 +-
src/Ph_Status.idefs.hh | 183 -
src/Ph_Status_idefs.hh | 183 +
src/{Ph_Status.inlines.hh => Ph_Status_inlines.hh} | 0
src/Pointset_Ask_Tell.cc | 2 +-
src/Pointset_Ask_Tell.defs.hh | 503 --
src/Pointset_Ask_Tell.inlines.hh | 216 -
src/Pointset_Ask_Tell.templates.hh | 324 -
src/Pointset_Ask_Tell_defs.hh | 503 ++
src/Pointset_Ask_Tell_inlines.hh | 216 +
src/Pointset_Ask_Tell_templates.hh | 324 +
...sk_Tell.types.hh => Pointset_Ask_Tell_types.hh} | 0
src/Pointset_Powerset.cc | 4 +-
src/Pointset_Powerset.defs.hh | 1449 ----
src/Pointset_Powerset.inlines.hh | 320 -
src/Pointset_Powerset.templates.hh | 1611 ----
src/Pointset_Powerset_defs.hh | 1449 ++++
src/Pointset_Powerset_inlines.hh | 320 +
src/Pointset_Powerset_templates.hh | 1611 ++++
...owerset.types.hh => Pointset_Powerset_types.hh} | 0
src/Poly_Con_Relation.cc | 2 +-
src/Poly_Con_Relation.defs.hh | 166 -
src/Poly_Con_Relation_defs.hh | 166 +
...ion.inlines.hh => Poly_Con_Relation_inlines.hh} | 0
...elation.types.hh => Poly_Con_Relation_types.hh} | 0
src/Poly_Gen_Relation.cc | 2 +-
src/Poly_Gen_Relation.defs.hh | 139 -
src/Poly_Gen_Relation_defs.hh | 139 +
...ion.inlines.hh => Poly_Gen_Relation_inlines.hh} | 0
...elation.types.hh => Poly_Gen_Relation_types.hh} | 0
src/Polyhedron.defs.hh | 2843 -------
src/Polyhedron.inlines.hh | 461 --
src/Polyhedron.templates.hh | 579 --
src/Polyhedron_chdims.cc | 4 +-
...templates.hh => Polyhedron_chdims_templates.hh} | 0
src/Polyhedron_conversion.templates.hh | 921 ---
src/Polyhedron_conversion_templates.hh | 921 +++
src/Polyhedron_defs.hh | 2843 +++++++
src/Polyhedron_inlines.hh | 461 ++
src/Polyhedron_minimize.templates.hh | 437 --
src/Polyhedron_minimize_templates.hh | 437 ++
src/Polyhedron_nonpublic.cc | 8 +-
src/Polyhedron_public.cc | 12 +-
src/Polyhedron_simplify.templates.hh | 340 -
src/Polyhedron_simplify_templates.hh | 340 +
src/Polyhedron_templates.hh | 579 ++
src/{Polyhedron.types.hh => Polyhedron_types.hh} | 0
src/Polyhedron_widenings.cc | 8 +-
src/Powerset.defs.hh | 450 --
src/Powerset.templates.hh | 312 -
src/Powerset_defs.hh | 450 ++
src/{Powerset.inlines.hh => Powerset_inlines.hh} | 0
src/Powerset_templates.hh | 312 +
src/{Powerset.types.hh => Powerset_types.hh} | 0
src/Ptr_Iterator.defs.hh | 172 -
src/Ptr_Iterator_defs.hh | 172 +
...Iterator.inlines.hh => Ptr_Iterator_inlines.hh} | 0
...Ptr_Iterator.types.hh => Ptr_Iterator_types.hh} | 0
src/Rational_Box.hh | 2 +-
src/Rational_Interval.hh | 2 +-
src/Result.defs.hh | 195 -
src/Result_defs.hh | 195 +
src/{Result.inlines.hh => Result_inlines.hh} | 0
src/Rounding_Dir.defs.hh | 124 -
src/Rounding_Dir_defs.hh | 124 +
...ding_Dir.inlines.hh => Rounding_Dir_inlines.hh} | 0
src/Scalar_Products.cc | 6 +-
src/Scalar_Products.defs.hh | 226 -
src/Scalar_Products.inlines.hh | 163 -
src/Scalar_Products_defs.hh | 226 +
src/Scalar_Products_inlines.hh | 163 +
..._Products.types.hh => Scalar_Products_types.hh} | 0
src/Sparse_Row.cc | 4 +-
src/Sparse_Row.defs.hh | 930 ---
src/Sparse_Row_defs.hh | 930 +++
...Sparse_Row.inlines.hh => Sparse_Row_inlines.hh} | 0
...se_Row.templates.hh => Sparse_Row_templates.hh} | 0
src/{Sparse_Row.types.hh => Sparse_Row_types.hh} | 0
src/Sum_Floating_Point_Expression.defs.hh | 213 -
src/Sum_Floating_Point_Expression.inlines.hh | 70 -
src/Sum_Floating_Point_Expression_defs.hh | 213 +
src/Sum_Floating_Point_Expression_inlines.hh | 70 +
... => Sum_Floating_Point_Expression_templates.hh} | 0
...s.hh => Sum_Floating_Point_Expression_types.hh} | 0
src/Swapping_Vector.defs.hh | 98 -
src/Swapping_Vector_defs.hh | 98 +
...ector.inlines.hh => Swapping_Vector_inlines.hh} | 0
...ng_Vector.types.hh => Swapping_Vector_types.hh} | 0
src/Temp.defs.hh | 143 -
src/Temp_defs.hh | 143 +
src/{Temp.inlines.hh => Temp_inlines.hh} | 0
src/{Temp.templates.hh => Temp_templates.hh} | 0
src/Threshold_Watcher.cc | 2 +-
src/Threshold_Watcher.defs.hh | 96 -
src/Threshold_Watcher.inlines.hh | 66 -
src/Threshold_Watcher_defs.hh | 96 +
src/Threshold_Watcher_inlines.hh | 66 +
...templates.hh => Threshold_Watcher_templates.hh} | 0
...Watcher.types.hh => Threshold_Watcher_types.hh} | 0
src/Time.cc | 2 +-
src/Time.defs.hh | 126 -
src/Time_defs.hh | 126 +
src/{Time.inlines.hh => Time_inlines.hh} | 0
src/{Time.types.hh => Time_types.hh} | 0
src/{Topology.types.hh => Topology_types.hh} | 0
src/Variable.cc | 2 +-
src/Variable.defs.hh | 157 -
src/Variable.inlines.hh | 100 -
src/Variable_Floating_Point_Expression.defs.hh | 187 -
src/Variable_Floating_Point_Expression.inlines.hh | 94 -
src/Variable_Floating_Point_Expression_defs.hh | 187 +
src/Variable_Floating_Point_Expression_inlines.hh | 94 +
...=> Variable_Floating_Point_Expression_types.hh} | 0
src/Variable_defs.hh | 157 +
src/Variable_inlines.hh | 100 +
src/{Variable.types.hh => Variable_types.hh} | 0
src/Variables_Set.cc | 2 +-
src/Variables_Set.defs.hh | 107 -
src/Variables_Set.inlines.hh | 75 -
src/Variables_Set_defs.hh | 107 +
src/Variables_Set_inlines.hh | 75 +
...riables_Set.types.hh => Variables_Set_types.hh} | 0
src/WRD_coefficient_types.defs.hh | 153 -
src/WRD_coefficient_types_defs.hh | 153 +
...inlines.hh => WRD_coefficient_types_inlines.hh} | 0
src/Watchdog.cc | 2 +-
src/Watchdog.defs.hh | 148 -
src/Watchdog.inlines.hh | 101 -
src/Watchdog_defs.hh | 148 +
src/Watchdog_inlines.hh | 101 +
src/{Watchdog.types.hh => Watchdog_types.hh} | 0
src/Weight_Profiler.cc | 4 +-
...ht_Profiler.defs.hh => Weight_Profiler_defs.hh} | 0
src/Widening_Function.defs.hh | 127 -
src/Widening_Function_defs.hh | 127 +
...ion.inlines.hh => Widening_Function_inlines.hh} | 0
...unction.types.hh => Widening_Function_types.hh} | 0
src/algorithms.hh | 4 +-
src/c_streambuf.cc | 4 +-
src/c_streambuf.defs.hh | 127 -
src/c_streambuf_defs.hh | 127 +
...streambuf.inlines.hh => c_streambuf_inlines.hh} | 0
src/{c_streambuf.types.hh => c_streambuf_types.hh} | 0
src/checked.cc | 2 +-
src/checked.defs.hh | 716 --
src/checked.inlines.hh | 658 --
src/checked_defs.hh | 716 ++
src/checked_ext.defs.hh | 107 -
src/checked_ext_defs.hh | 107 +
...ecked_ext.inlines.hh => checked_ext_inlines.hh} | 0
...d_float.inlines.hh => checked_float_inlines.hh} | 0
src/checked_inlines.hh | 658 ++
...ecked_int.inlines.hh => checked_int_inlines.hh} | 0
...ecked_mpq.inlines.hh => checked_mpq_inlines.hh} | 0
...ecked_mpz.inlines.hh => checked_mpz_inlines.hh} | 0
src/checked_numeric_limits.hh | 4 +-
src/distances.defs.hh | 54 -
src/distances.inlines.hh | 113 -
src/distances_defs.hh | 54 +
src/distances_inlines.hh | 113 +
src/{distances.types.hh => distances_types.hh} | 0
src/{fpu-c99.inlines.hh => fpu-c99_inlines.hh} | 0
src/fpu-ia32.cc | 2 +-
src/{fpu-ia32.inlines.hh => fpu-ia32_inlines.hh} | 0
src/{fpu-none.inlines.hh => fpu-none_inlines.hh} | 0
src/{fpu-sparc.inlines.hh => fpu-sparc_inlines.hh} | 0
src/fpu.defs.hh | 104 -
src/fpu_defs.hh | 104 +
src/{fpu.types.hh => fpu_types.hh} | 0
src/globals.cc | 6 +-
src/globals.defs.hh | 564 --
src/globals.types.hh | 214 -
src/globals_defs.hh | 564 ++
src/{globals.inlines.hh => globals_inlines.hh} | 0
src/globals_types.hh | 214 +
src/initializer.hh | 2 +-
src/intervals.defs.hh | 473 --
src/intervals_defs.hh | 473 ++
src/iterator_to_const.defs.hh | 221 -
src/iterator_to_const_defs.hh | 221 +
...nst.inlines.hh => iterator_to_const_inlines.hh} | 0
...o_const.types.hh => iterator_to_const_types.hh} | 0
src/linearize.hh | 8 +-
src/math_utilities.defs.hh | 110 -
src/math_utilities.inlines.hh | 120 -
src/math_utilities_defs.hh | 110 +
src/math_utilities_inlines.hh | 120 +
src/max_space_dimension.hh | 12 +-
src/mp_std_bits.cc | 2 +-
src/mp_std_bits.defs.hh | 169 -
src/mp_std_bits_defs.hh | 169 +
..._std_bits.inlines.hh => mp_std_bits_inlines.hh} | 0
src/stdiobuf.cc | 4 +-
src/stdiobuf.defs.hh | 111 -
src/stdiobuf_defs.hh | 111 +
src/{stdiobuf.inlines.hh => stdiobuf_inlines.hh} | 0
src/{stdiobuf.types.hh => stdiobuf_types.hh} | 0
...ort.templates.hh => swapping_sort_templates.hh} | 0
src/termination.cc | 4 +-
src/termination.defs.hh | 502 --
src/termination.templates.hh | 552 --
src/termination_defs.hh | 502 ++
src/termination_templates.hh | 552 ++
src/{termination.types.hh => termination_types.hh} | 0
src/wrap_assign.hh | 8 +-
src/wrap_string.hh | 2 +-
tests/Concrete_Expression/C_Expr.cc | 2 +-
tests/Concrete_Expression/C_Expr.defs.hh | 257 -
tests/Concrete_Expression/C_Expr_defs.hh | 257 +
.../{C_Expr.inlines.hh => C_Expr_inlines.hh} | 0
.../{C_Expr.types.hh => C_Expr_types.hh} | 0
tests/Concrete_Expression/Makefile.am | 2 +-
tests/Concrete_Expression/digitalfilters1.cc | 2 +-
tests/Concrete_Expression/linearize.cc | 2 +-
tests/Grid/generator1.cc | 2 +-
tests/Grid/generators1.cc | 2 +-
tests/Makefile.am | 6 +-
tests/Random_Number_Generator.defs.hh | 47 -
tests/Random_Number_Generator_defs.hh | 47 +
...lines.hh => Random_Number_Generator_inlines.hh} | 0
...r.types.hh => Random_Number_Generator_types.hh} | 0
tests/ppl_test.hh | 2 +-
638 files changed, 99209 insertions(+), 99209 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=15a09460fd3ff29367a6d96f9ada8eb792f0d73b
More information about the PPL-devel
mailing list