Module: ppl/ppl Branch: master Commit: 15a09460fd3ff29367a6d96f9ada8eb792f0d73b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15a09460fd3ff... Author: Roberto Bagnara <bagnara@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=15a09460f...