Module: ppl/ppl Branch: bounded_arithmetic Commit: 25524c60cb8991ab2dbd38e16da3c994c36b75ab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25524c60cb899... Author: Alberto Gioia <alberto.gioia1@studenti.unipr.it> Date: Sun Jul 10 20:33:39 2011 +0200 Adjusted documentation and formatting code. --- doc/definitions.dox | 343 +++++++--------- src/Interval.defs.hh | 4 +- src/Interval.inlines.hh | 629 +++++++++++++++------------ src/Linear_Form.templates.hh | 433 +++++++++++-------- src/linearize.hh | 2 +- src/linearize_integer.hh | 979 +++++++++++++++++++++--------------------- 6 files changed, 1251 insertions(+), 1139 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=25524c60c...