Module: ppl/ppl Branch: ppl-1_0-branch Commit: dd8808100ac78141bc87ea43c69e8a509dd35b7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd8808100ac78...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Aug 18 10:28:30 2012 +0200
Do not use TABs for code layout. Detected by ECLAIR service tabindnt.
---
STANDARDS | 14 +- configure.ac | 16 +- debian/README | 8 +- demos/ppl_lcdd/ppl_lcdd.cc | 474 ++++---- demos/ppl_lpsol/ppl_lpsol.c | 156 +- demos/ppl_pips/ppl_pips.cc | 14 +- doc/definitions.dox | 10 +- doc/fdl.txt | 4 +- interfaces/C/C_interface.dox | 4 +- interfaces/C/ppl_c_header.h | 200 ++-- interfaces/C/ppl_c_implementation_common.cc | 238 ++-- interfaces/C/ppl_c_implementation_common.defs.hh | 4 +- interfaces/C/tests/pip_test.c | 2 +- interfaces/C/tests/print_to_buffer.c | 26 +- interfaces/C/tests/print_to_buffer.h | 10 +- interfaces/C/tests/watchdog1.c | 2 +- interfaces/C/tests/weightwatch1.c | 2 +- interfaces/Java/jni/ppl_java_common.cc | 40 +- interfaces/Java/jni/ppl_java_common.defs.hh | 12 +- interfaces/Java/jni/ppl_java_common.inlines.hh | 18 +- interfaces/Java/jni/ppl_java_globals.cc | 6 +- .../Artificial_Parameter.java | 8 +- .../Java/parma_polyhedra_library/By_Reference.java | 6 +- .../Java/parma_polyhedra_library/Coefficient.java | 12 +- .../Java/parma_polyhedra_library/Congruence.java | 14 +- .../Java/parma_polyhedra_library/Constraint.java | 12 +- .../Fake_Class_for_Doxygen.java | 48 +- .../Java/parma_polyhedra_library/Generator.java | 20 +- .../parma_polyhedra_library/Grid_Generator.java | 30 +- interfaces/Java/parma_polyhedra_library/IO.java | 2 +- .../parma_polyhedra_library/Linear_Expression.java | 8 +- .../Linear_Expression_Coefficient.java | 6 +- .../Linear_Expression_Difference.java | 8 +- .../Linear_Expression_Sum.java | 6 +- .../Linear_Expression_Times.java | 18 +- .../Linear_Expression_Unary_Minus.java | 4 +- .../Linear_Expression_Variable.java | 4 +- .../Java/parma_polyhedra_library/MIP_Problem.java | 16 +- .../Java/parma_polyhedra_library/PIP_Problem.java | 8 +- .../Java/parma_polyhedra_library/PPL_Object.java | 2 +- interfaces/Java/parma_polyhedra_library/Pair.java | 4 +- .../parma_polyhedra_library/Partial_Function.java | 2 +- .../parma_polyhedra_library/Poly_Con_Relation.java | 14 +- .../parma_polyhedra_library/Poly_Gen_Relation.java | 8 +- .../Java/parma_polyhedra_library/Variable.java | 16 +- interfaces/Java/tests/C_Polyhedron_test1.java | 92 +- interfaces/Java/tests/MIP_Problem_test1.java | 92 +- interfaces/Java/tests/NNC_Polyhedron_test1.java | 112 +- interfaces/Java/tests/PIP_Problem_test1.java | 194 ++-- .../Java/tests/Parma_Polyhedra_Library_test1.java | 10 +- .../Java/tests/Parma_Polyhedra_Library_test2.java | 10 +- interfaces/Java/tests/Test_Executor.java | 38 +- interfaces/Java/tests/Variable_Output_test1.java | 22 +- interfaces/Java/tests/ppl_java_tests_common | 150 +- interfaces/OCaml/ppl_ocaml_common.cc | 68 +- interfaces/OCaml/ppl_ocaml_common.defs.hh | 56 +- interfaces/Prolog/Ciao/ciao_cfli.hh | 14 +- interfaces/Prolog/Ciao/ciao_clpq.pl | 31 +- interfaces/Prolog/Ciao/ciao_clpq2.pl | 24 +- interfaces/Prolog/Ciao/ciao_pl_check.pl | 170 ++-- interfaces/Prolog/GNU/gnu_pl_check.pl | 4 +- interfaces/Prolog/GNU/gnu_prolog_generated_test.pl | 4 +- interfaces/Prolog/GNU/gprolog_cfli.hh | 14 +- interfaces/Prolog/Prolog_interface_sysindep.dox | 118 +- interfaces/Prolog/SICStus/ppl_sicstus.pl | 4 +- interfaces/Prolog/SICStus/sicstus_cfli.h | 16 +- interfaces/Prolog/SICStus/sicstus_cfli.ic | 14 +- interfaces/Prolog/SICStus/sp_clpq.pl | 28 +- interfaces/Prolog/SICStus/sp_pl_check.pl | 38 +- .../Prolog/SICStus/sp_prolog_generated_test.pl | 36 +- interfaces/Prolog/SWI/swi_cfli.hh | 14 +- interfaces/Prolog/SWI/swi_pl_check.pl | 4 +- interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 4 +- interfaces/Prolog/XSB/xsb_cfli.hh | 14 +- interfaces/Prolog/XSB/xsb_clpq.P | 22 +- interfaces/Prolog/XSB/xsb_clpq2.P | 24 +- interfaces/Prolog/XSB/xsb_pl_check.P | 182 ++-- interfaces/Prolog/YAP/yap_cfli.hh | 16 +- interfaces/Prolog/YAP/yap_pl_check.pl | 4 +- interfaces/Prolog/YAP/yap_prolog_generated_test.pl | 4 +- interfaces/Prolog/ppl_prolog_common.cc | 674 +++++----- interfaces/Prolog/ppl_prolog_common.defs.hh | 64 +- interfaces/Prolog/tests/clpq.pl | 24 +- interfaces/Prolog/tests/clpq2.pl | 4 +- interfaces/Prolog/tests/pl_check.pl | 22 +- interfaces/Prolog/tests/smm.clpq | 24 +- interfaces/Prolog/tests/smmdiff.clpq | 24 +- src/Affine_Space.cc | 36 +- 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 | 2 +- src/BD_Shape.defs.hh | 16 +- src/BD_Shape.inlines.hh | 128 +- src/BD_Shape.templates.hh | 78 +- src/BHRZ03_Certificate.cc | 60 +- 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 | 80 +- src/Box.defs.hh | 194 ++-- src/Box.inlines.hh | 72 +- src/Box.templates.hh | 1056 +++++++------- src/C_Polyhedron.cc | 8 +- src/C_Polyhedron.defs.hh | 2 +- src/C_Polyhedron.inlines.hh | 8 +- src/Cast_Floating_Point_Expression.defs.hh | 4 +- src/Checked_Number.cc | 8 +- src/Checked_Number.defs.hh | 152 +- src/Checked_Number.inlines.hh | 286 ++-- src/Congruence.cc | 10 +- src/Congruence.defs.hh | 4 +- src/Congruence.inlines.hh | 8 +- src/Congruence_System.cc | 24 +- src/Congruence_System.defs.hh | 10 +- src/Congruence_System.inlines.hh | 2 +- src/Constant_Floating_Point_Expression.defs.hh | 4 +- src/Constraint.cc | 52 +- src/Constraint.defs.hh | 4 +- src/Constraint_System.cc | 92 +- src/Constraint_System.inlines.hh | 4 +- src/DB_Matrix.defs.hh | 24 +- 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/Determinate.inlines.hh | 2 +- src/Difference_Floating_Point_Expression.defs.hh | 4 +- src/Division_Floating_Point_Expression.defs.hh | 8 +- src/Doubly_Linked_Object.inlines.hh | 2 +- src/Float.defs.hh | 14 +- src/Float.inlines.hh | 2 +- src/Float.templates.hh | 6 +- src/GMP_Integer.defs.hh | 14 +- src/GMP_Integer.inlines.hh | 6 +- src/Generator.cc | 44 +- src/Generator.defs.hh | 6 +- src/Generator.inlines.hh | 86 +- src/Generator_System.cc | 538 ++++---- src/Generator_System.defs.hh | 6 +- src/Generator_System.inlines.hh | 2 +- src/Grid.defs.hh | 250 ++-- src/Grid.inlines.hh | 22 +- src/Grid.templates.hh | 108 +- src/Grid_Certificate.cc | 26 +- src/Grid_Certificate.defs.hh | 2 +- src/Grid_Certificate.inlines.hh | 2 +- src/Grid_Generator.cc | 16 +- src/Grid_Generator.inlines.hh | 2 +- src/Grid_Generator_System.cc | 16 +- src/Grid_Generator_System.defs.hh | 10 +- src/Grid_Generator_System.inlines.hh | 2 +- src/Grid_Status.cc | 14 +- src/Grid_chdims.cc | 30 +- src/Grid_conversion.cc | 126 +- src/Grid_nonpublic.cc | 122 +- src/Grid_public.cc | 564 ++++---- src/Grid_simplify.cc | 138 +- src/Grid_widenings.cc | 78 +- src/H79_Certificate.cc | 4 +- src/H79_Certificate.defs.hh | 2 +- src/H79_Certificate.inlines.hh | 2 +- src/Handler.inlines.hh | 2 +- src/Has_Assign_Or_Swap.hh | 4 +- src/Interval.defs.hh | 48 +- src/Interval.inlines.hh | 242 ++-- src/Interval.templates.hh | 24 +- src/Interval_Info.defs.hh | 34 +- src/Linear_Form.templates.hh | 8 +- src/Linear_System.templates.hh | 70 +- src/MIP_Problem.cc | 36 +- src/MIP_Problem.defs.hh | 12 +- ...ultiplication_Floating_Point_Expression.defs.hh | 6 +- src/NNC_Polyhedron.cc | 6 +- src/NNC_Polyhedron.defs.hh | 2 +- src/NNC_Polyhedron.inlines.hh | 8 +- src/OR_Matrix.defs.hh | 36 +- src/OR_Matrix.inlines.hh | 102 +- src/OR_Matrix.templates.hh | 8 +- 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 | 10 +- 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 | 36 +- src/Pending_Element.defs.hh | 8 +- src/Pending_Element.inlines.hh | 8 +- src/Pending_List.defs.hh | 4 +- src/Pending_List.templates.hh | 6 +- 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 | 240 ++-- src/Polyhedron.inlines.hh | 30 +- src/Polyhedron.templates.hh | 20 +- src/Polyhedron_chdims.cc | 16 +- src/Polyhedron_conversion.templates.hh | 468 +++--- src/Polyhedron_minimize.templates.hh | 4 +- src/Polyhedron_nonpublic.cc | 508 ++++---- src/Polyhedron_public.cc | 734 +++++----- src/Polyhedron_simplify.templates.hh | 84 +- src/Polyhedron_widenings.cc | 222 ++-- src/Powerset.defs.hh | 6 +- src/Powerset.templates.hh | 56 +- src/Ptr_Iterator.defs.hh | 12 +- src/Ptr_Iterator.inlines.hh | 2 +- src/Scalar_Products.cc | 30 +- src/Scalar_Products.defs.hh | 30 +- src/Scalar_Products.inlines.hh | 34 +- src/Sum_Floating_Point_Expression.defs.hh | 6 +- src/Temp.inlines.hh | 2 +- src/Threshold_Watcher.defs.hh | 4 +- src/Threshold_Watcher.inlines.hh | 4 +- src/Variable.defs.hh | 2 +- src/Variable.inlines.hh | 8 +- src/Variable_Floating_Point_Expression.defs.hh | 4 +- src/Variables_Set.cc | 4 +- src/Watchdog.cc | 36 +- src/Watchdog.inlines.hh | 8 +- src/Weight_Profiler.cc | 20 +- src/Weight_Profiler.defs.hh | 8 +- src/Widening_Function.defs.hh | 4 +- src/Widening_Function.inlines.hh | 4 +- src/checked.defs.hh | 38 +- 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 | 82 +- src/checked_mpq.inlines.hh | 26 +- src/checked_mpz.inlines.hh | 28 +- src/checked_numeric_limits.hh | 62 +- 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 | 16 +- src/namespaces.hh | 2 +- src/ppl-config.cc.in | 98 +- src/termination.cc | 48 +- src/termination.defs.hh | 16 +- src/termination.templates.hh | 40 +- src/wrap_string.cc | 36 +- src/wrap_string.hh | 6 +- tests/Ask_Tell/append1.cc | 8 +- tests/BD_Shape/constrains1.cc | 16 +- tests/Box/constrains1.cc | 16 +- tests/Concrete_Expression/C_Expr.defs.hh | 2 +- tests/Concrete_Expression/C_Expr.inlines.hh | 2 +- tests/Concrete_Expression/polyhedron2.cc | 8 +- tests/Grid/addcongruence1.cc | 2 +- tests/Grid/addcongruences1.cc | 10 +- tests/Grid/addconstraint1.cc | 2 +- tests/Grid/addgenerator1.cc | 6 +- tests/Grid/addgenerators1.cc | 4 +- tests/Grid/approximatepartition1.cc | 4 +- tests/Grid/bounds1.cc | 6 +- tests/Grid/congruences2.cc | 12 +- tests/Grid/generalizedaffineimage1.cc | 30 +- tests/Grid/generalizedaffineimage2.cc | 22 +- tests/Grid/generalizedaffineimage3.cc | 14 +- tests/Grid/generalizedaffinepreimage1.cc | 16 +- tests/Grid/generalizedaffinepreimage2.cc | 16 +- tests/Grid/generalizedaffinepreimage3.cc | 16 +- tests/Grid/grid1.cc | 2 +- tests/Grid/intersection1.cc | 2 +- tests/Grid/maxmin1.cc | 38 +- tests/Grid/membytes1.cc | 6 +- tests/Grid/partition1.cc | 8 +- tests/Grid/relations1.cc | 4 +- tests/Grid/relations2.cc | 26 +- tests/Grid/relations3.cc | 242 ++-- tests/MIP_Problem/exceptions1.cc | 14 +- tests/MIP_Problem/mipproblem1.cc | 1492 ++++++++++---------- tests/MIP_Problem/mipproblem2.cc | 2 +- tests/MIP_Problem/mipproblem3.cc | 766 +++++----- tests/Octagonal_Shape/constrains1.cc | 16 +- .../boundedaffineimage1.cc | 6 +- tests/Partially_Reduced_Product/bounds1.cc | 6 +- tests/Partially_Reduced_Product/directproduct3.cc | 8 +- tests/Partially_Reduced_Product/directproduct4.cc | 4 +- tests/Partially_Reduced_Product/directproduct5.cc | 52 +- tests/Partially_Reduced_Product/directproduct6.cc | 6 +- .../partiallyreducedproduct1.cc | 40 +- .../partiallyreducedproduct2.cc | 4 +- .../partiallyreducedproduct3.cc | 120 +- tests/Partially_Reduced_Product/relations1.cc | 52 +- tests/Partially_Reduced_Product/smashproduct1.cc | 2 +- tests/Partially_Reduced_Product/upperbound1.cc | 2 +- tests/Polyhedron/addconstraint1.cc | 2 +- tests/Polyhedron/addconstraints1.cc | 4 +- tests/Polyhedron/addgenerator2.cc | 6 +- tests/Polyhedron/addgenerators2.cc | 2 +- tests/Polyhedron/addspacedims1.cc | 8 +- tests/Polyhedron/addspacedims2.cc | 2 +- tests/Polyhedron/affineimage1.cc | 4 +- tests/Polyhedron/affinepreimage1.cc | 4 +- tests/Polyhedron/append1.cc | 4 +- tests/Polyhedron/append2.cc | 6 +- tests/Polyhedron/bgp99extrapolation1.cc | 12 +- tests/Polyhedron/bhrz03widening1.cc | 6 +- tests/Polyhedron/bhrz03widening3.cc | 12 +- tests/Polyhedron/bhz03widening1.cc | 24 +- tests/Polyhedron/boundedaffineimage1.cc | 24 +- tests/Polyhedron/boundedaffinepreimage1.cc | 2 +- tests/Polyhedron/boundedh79extrapolation1.cc | 4 +- tests/Polyhedron/constrains1.cc | 16 +- tests/Polyhedron/disjoint2.cc | 4 +- tests/Polyhedron/dualhypercubes.cc | 62 +- tests/Polyhedron/exceptions3.cc | 2 +- tests/Polyhedron/expandspacedim1.cc | 4 +- tests/Polyhedron/generalizedaffineimage1.cc | 32 +- tests/Polyhedron/generalizedaffineimage2.cc | 70 +- tests/Polyhedron/generalizedaffinepreimage1.cc | 10 +- tests/Polyhedron/generalizedaffinepreimage2.cc | 2 +- tests/Polyhedron/generators1.cc | 8 +- tests/Polyhedron/hybrid.cc | 8 +- tests/Polyhedron/intersection1.cc | 24 +- tests/Polyhedron/limitedh79extrapolation1.cc | 22 +- tests/Polyhedron/linearpartition1.cc | 24 +- tests/Polyhedron/linearsystem1.cc | 22 +- tests/Polyhedron/matrix1.cc | 16 +- tests/Polyhedron/maxspacedim1.cc | 44 +- tests/Polyhedron/membytes1.cc | 6 +- tests/Polyhedron/memory1.cc | 22 +- tests/Polyhedron/memory2.cc | 20 +- tests/Polyhedron/minconstraints2.cc | 2 +- tests/Polyhedron/nncminimize1.cc | 14 +- tests/Polyhedron/numberinput1.cc | 36 +- tests/Polyhedron/permute.cc | 4 +- tests/Polyhedron/polyhull1.cc | 16 +- tests/Polyhedron/polyhullifexact1.cc | 40 +- tests/Polyhedron/randphull1.cc | 28 +- tests/Polyhedron/refinewithcongruence1.cc | 2 +- tests/Polyhedron/refinewithcongruences1.cc | 2 +- tests/Polyhedron/refinewithconstraint1.cc | 4 +- tests/Polyhedron/refinewithconstraints1.cc | 2 +- tests/Polyhedron/relations3.cc | 4 +- tests/Polyhedron/removespacedims1.cc | 2 +- tests/Polyhedron/removespacedims2.cc | 2 +- tests/Polyhedron/smm1.cc | 90 +- tests/Polyhedron/variablesset1.cc | 14 +- tests/Polyhedron/watchdog1.cc | 2 +- tests/Polyhedron/writevariable1.cc | 4 +- tests/Powerset/difference1.cc | 4 +- tests/Powerset/powerset1.cc | 2 +- tests/ppl_test.cc | 46 +- tests/ppl_test.hh | 396 +++--- utils/timings.cc | 8 +- 377 files changed, 9640 insertions(+), 9639 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dd8808100...