[PPL-devel] [GIT] ppl/ppl(master): Do not use TABs for code layout.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Aug 18 10:32:16 CEST 2012
Module: ppl/ppl
Branch: master
Commit: dd8808100ac78141bc87ea43c69e8a509dd35b7a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd8808100ac78141bc87ea43c69e8a509dd35b7a
Author: Roberto Bagnara <bagnara at 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=dd8808100ac78141bc87ea43c69e8a509dd35b7a
More information about the PPL-devel
mailing list