[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Adjusted documentation and formatting code.

[Alberto Gioia]

Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 25524c60cb8991ab2dbd38e16da3c994c36b75ab
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25524c60cb8991ab2dbd38e16da3c994c36b75ab

Author: Alberto Gioia <alberto.gioia1 at 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=25524c60cb8991ab2dbd38e16da3c994c36b75ab