[GIT] ppl/ppl(bounded_arithmetic): Reorganized and separated Result classes to be more informative.
Module: ppl/ppl Branch: bounded_arithmetic Commit: 8c816f458ca9fdf391fb94a3a967c40da69ae211 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c816f458ca9f... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 11:48:59 2009 +0200 Reorganized and separated Result classes to be more informative. --- src/Boundary.defs.hh | 31 +++++---- src/Box.templates.hh | 7 +- src/Checked_Number.cc | 10 +-- src/Checked_Number.inlines.hh | 32 +++++----- src/Circular_Interval.defs.hh | 16 ++-- src/DB_Matrix.templates.hh | 2 +- src/Interval.defs.hh | 18 +++--- src/Interval.templates.hh | 26 ++++---- src/OR_Matrix.templates.hh | 2 +- src/Result.defs.hh | 131 ++++++++++++++++++++++++++------------ src/Result.inlines.hh | 54 ++++++++++++++-- src/checked.cc | 6 +- src/checked.defs.hh | 22 +++--- src/checked.inlines.hh | 102 ++++++++++++------------------ src/checked_ext.inlines.hh | 128 +++++++++++++++++++------------------ src/checked_float.inlines.hh | 126 +++++++++++++++++++++---------------- src/checked_int.inlines.hh | 123 +++++++++++++++++++---------------- src/checked_mpq.inlines.hh | 76 +++++++++++++--------- src/checked_mpz.inlines.hh | 71 ++++++++++++--------- src/intervals.defs.hh | 61 +++++++++++------- tests/Polyhedron/numberinput1.cc | 36 +++++----- 21 files changed, 611 insertions(+), 469 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8c816f458...
participants (1)
-
Abramo Bagnara