Module: ppl/ppl Branch: master Commit: 2a9d181747120b92aa84e5fd3ab0aafbfbaff34e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a9d181747120...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Aug 16 17:29:09 2012 +0200
Fixed several minor documentation issues.
---
src/BD_Shape.defs.hh | 12 ++++++------ src/Box.defs.hh | 12 ++++++------ src/Concrete_Expression.defs.hh | 6 +++--- src/Concrete_Expression.types.hh | 16 ++++++++-------- src/Determinate.defs.hh | 2 +- src/Floating_Point_Expression.defs.hh | 3 +-- src/Handler.defs.hh | 5 +++-- src/Octagonal_Shape.defs.hh | 12 ++++++------ src/Partially_Reduced_Product.defs.hh | 18 +++++++++--------- src/Pointset_Powerset.defs.hh | 9 ++++----- src/Result.defs.hh | 4 ++-- src/Rounding_Dir.defs.hh | 2 +- src/WRD_coefficient_types.defs.hh | 4 ++-- src/globals.types.hh | 10 +++++----- src/termination.defs.hh | 28 ++++++++++++++-------------- 15 files changed, 71 insertions(+), 72 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2a9d18174...