Module: ppl/ppl Branch: floating_point Commit: 0eb634591ec2041438c8f8d27e001540e4528742 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0eb634591ec20...

Author: Fabio Bossi bossi@cs.unipr.it Date: Sat Sep 26 10:19:13 2009 +0200

Added missing const qualifiers.

---

src/Octagonal_Shape.inlines.hh | 2 +- src/Polyhedron.inlines.hh | 2 +- src/Polyhedron.templates.hh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Octagonal_Shape.inlines.hh b/src/Octagonal_Shape.inlines.hh index 73e4124..0776a7e 100644 --- a/src/Octagonal_Shape.inlines.hh +++ b/src/Octagonal_Shape.inlines.hh @@ -618,7 +618,7 @@ inline void Octagonal_Shape<T>::generalized_refine_with_linear_form_inequality( const Linear_Form< Interval<T, Interval_Info> >& left, const Linear_Form< Interval<T, Interval_Info> >& right, - Relation_Symbol relsym) { + const Relation_Symbol relsym) { switch (relsym) { case EQUAL: refine_with_linear_form_inequality(left, right); diff --git a/src/Polyhedron.inlines.hh b/src/Polyhedron.inlines.hh index affc433..8005c95 100644 --- a/src/Polyhedron.inlines.hh +++ b/src/Polyhedron.inlines.hh @@ -377,7 +377,7 @@ inline void Polyhedron::generalized_refine_with_linear_form_inequality( const Linear_Form< Interval<FP_Format, Interval_Info> >& left, const Linear_Form< Interval<FP_Format, Interval_Info> >& right, - Relation_Symbol relsym, + const Relation_Symbol relsym, const Box< Interval<FP_Format, Interval_Info> >& store) { switch (relsym) { case EQUAL: diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index e12b6fd..d35090b 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -301,7 +301,7 @@ Polyhedron::refine_with_linear_form_inequality( const Linear_Form< Interval<FP_Format, Interval_Info> >& left, const Linear_Form< Interval<FP_Format, Interval_Info> >& right, const Box< Interval<FP_Format, Interval_Info> >& store, - bool is_strict) { + const bool is_strict) {

// Check that FP_Format is indeed a floating point type. PPL_COMPILE_TIME_CHECK(!std::numeric_limits<FP_Format>::is_exact,