
Module: ppl/ppl Branch: sparse_matrices Commit: c1bbb658bf1d016b739e9119d4fe0160b69f9974 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1bbb658bf1d0...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 24 17:42:30 2012 +0100
Prefer pre-increment to post-increment. In a few places, improve readability by incrementing on a separate instruction.
---
src/BD_Shape.templates.hh | 10 ++-- src/BHRZ03_Certificate.cc | 4 +- src/Box.cc | 8 ++-- src/CO_Tree.cc | 2 +- src/CO_Tree.inlines.hh | 2 +- src/Congruence_System.cc | 7 ++- src/Congruence_System.inlines.hh | 4 +- src/Constraint_System.cc | 3 +- src/Float.templates.hh | 37 +++++++---------- src/Generator_System.cc | 5 +- src/Grid_Generator_System.cc | 3 +- src/Linear_Expression_Impl.cc | 8 ++-- src/Linear_System.inlines.hh | 8 ++-- src/Linear_System.templates.hh | 10 ++--- src/Octagonal_Shape.cc | 6 +- src/Octagonal_Shape.templates.hh | 30 +++++++------- src/PIP_Tree.cc | 12 ++++-- src/Pointset_Powerset.templates.hh | 2 +- src/Polyhedron_public.cc | 4 +- src/Powerset.templates.hh | 3 +- src/Sparse_Row.cc | 44 ++++++++++---------- src/Variable_Floating_Point_Expression.inlines.hh | 15 +++---- src/Variables_Set.cc | 3 +- src/checked.cc | 5 +- 24 files changed, 116 insertions(+), 119 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c1bbb658b...