songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Lazy_exact_nt : add some preconditions (divisor != 0) in operator/ and co.

This commit is contained in:
Sylvain Pion 2006-02-21 17:21:33 +00:00
parent 65b80354e7
commit a8688873cd
2 changed files with 26 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Interval_arithmetic/changes.txt
View File

@ -1,3 +1,6 @@
21 February 2006 Sylvain Pion
- Lazy_exact_nt : add some preconditions (divisor != 0) in operator/ and co.
19 February 2006 Sylvain Pion 19 February 2006 Sylvain Pion
- Add more coordinate comparison functors to Static_filters (less*, compare*). - Add more coordinate comparison functors to Static_filters (less*, compare*).

28
Interval_arithmetic/include/CGAL/Lazy_exact_nt.h
View File

@ -565,7 +565,10 @@ public :
{ return *this = new Lazy_exact_Mul<ET>(*this, b); } { return *this = new Lazy_exact_Mul<ET>(*this, b); }
Self & operator/=(const Self& b) Self & operator/=(const Self& b)
{ return *this = new Lazy_exact_Div<ET>(*this, b); } {
CGAL_precondition(b != 0);
return *this = new Lazy_exact_Div<ET>(*this, b);
}
// Mixed operators. (could be optimized ?) // Mixed operators. (could be optimized ?)
Self & operator+=(CGAL_int(ET) b) Self & operator+=(CGAL_int(ET) b)
@ -578,7 +581,10 @@ public :
{ return *this = new Lazy_exact_Mul<ET>(*this, b); } { return *this = new Lazy_exact_Mul<ET>(*this, b); }
Self & operator/=(CGAL_int(ET) b) Self & operator/=(CGAL_int(ET) b)
{ return *this = new Lazy_exact_Div<ET>(*this, b); } {
CGAL_precondition(b != 0);
return *this = new Lazy_exact_Div<ET>(*this, b);
}
Self & operator+=(CGAL_double(ET) b) Self & operator+=(CGAL_double(ET) b)
{ return *this = new Lazy_exact_Add<ET>(*this, b); } { return *this = new Lazy_exact_Add<ET>(*this, b); }
@ -590,11 +596,15 @@ public :
{ return *this = new Lazy_exact_Mul<ET>(*this, b); } { return *this = new Lazy_exact_Mul<ET>(*this, b); }
Self & operator/=(CGAL_double(ET) b) Self & operator/=(CGAL_double(ET) b)
{ return *this = new Lazy_exact_Div<ET>(*this, b); } {
CGAL_precondition(b != 0);
return *this = new Lazy_exact_Div<ET>(*this, b);
}
// % kills filtering // % kills filtering
Self & operator%=(const Self& b) Self & operator%=(const Self& b)
{ {
CGAL_precondition(b != 0);
ET res = exact(); ET res = exact();
res %= b.exact(); res %= b.exact();
return *this = Lazy_exact_nt<ET>(res); return *this = Lazy_exact_nt<ET>(res);
@ -602,6 +612,7 @@ public :
Self & operator%=(int b) Self & operator%=(int b)
{ {
CGAL_precondition(b != 0);
ET res = exact(); ET res = exact();
res %= b; res %= b;
return *this = Lazy_exact_nt<ET>(res); return *this = Lazy_exact_nt<ET>(res);
@ -723,7 +734,10 @@ template <typename ET>
inline inline
Lazy_exact_nt<ET> Lazy_exact_nt<ET>
operator%(const Lazy_exact_nt<ET>& a, const Lazy_exact_nt<ET>& b) operator%(const Lazy_exact_nt<ET>& a, const Lazy_exact_nt<ET>& b)
{ return Lazy_exact_nt<ET>(a) %= b; } {
CGAL_precondition(b != 0);
return Lazy_exact_nt<ET>(a) %= b;
}
@ -794,6 +808,7 @@ template <typename ET1, typename ET2>
Lazy_exact_nt< typename Binary_operator_result<ET1, ET2>::type > Lazy_exact_nt< typename Binary_operator_result<ET1, ET2>::type >
operator/(const Lazy_exact_nt<ET1>& a, const Lazy_exact_nt<ET2>& b) operator/(const Lazy_exact_nt<ET1>& a, const Lazy_exact_nt<ET2>& b)
{ {
CGAL_precondition(b != 0);
return new Lazy_exact_Div<typename Binary_operator_result<ET1, ET2>::type, return new Lazy_exact_Div<typename Binary_operator_result<ET1, ET2>::type,
ET1, ET2>(a, b); ET1, ET2>(a, b);
} }
@ -867,7 +882,10 @@ template <typename ET>
inline inline
Lazy_exact_nt<ET> Lazy_exact_nt<ET>
sqrt(const Lazy_exact_nt<ET> & a) sqrt(const Lazy_exact_nt<ET> & a)
{ return new Lazy_exact_Sqrt<ET>(a); } {
CGAL_precondition(a >= 0);
return new Lazy_exact_Sqrt<ET>(a);
}
template <typename ET> template <typename ET>
inline inline