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

- Replaced " "x8 by \t in $bound_checks.

This commit is contained in:
Sylvain Pion 1999-08-01 12:22:38 +00:00
parent ac72a44b57
commit 5ca0fa7715
6 changed files with 332 additions and 332 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates/Regular_triangulation_ftC2.h
View File

@ -126,18 +126,18 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rwt.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rwt.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return power_testC2_SAF(
@ -315,15 +315,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return power_testC2_SAF(

56
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates/Regular_triangulation_rtH2.h
View File

@ -154,22 +154,22 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(phx.value()) > SAF_bound ||
fabs(phy.value()) > SAF_bound ||
fabs(phw.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qhx.value()) > SAF_bound ||
fabs(qhy.value()) > SAF_bound ||
fabs(qhw.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(rhx.value()) > SAF_bound ||
fabs(rhy.value()) > SAF_bound ||
fabs(rhw.value()) > SAF_bound ||
fabs(rwt.value()) > SAF_bound ||
fabs(thx.value()) > SAF_bound ||
fabs(thy.value()) > SAF_bound ||
fabs(thw.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
fabs(phx.value()) > SAF_bound ||
fabs(phy.value()) > SAF_bound ||
fabs(phw.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qhx.value()) > SAF_bound ||
fabs(qhy.value()) > SAF_bound ||
fabs(qhw.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(rhx.value()) > SAF_bound ||
fabs(rhy.value()) > SAF_bound ||
fabs(rhw.value()) > SAF_bound ||
fabs(rwt.value()) > SAF_bound ||
fabs(thx.value()) > SAF_bound ||
fabs(thy.value()) > SAF_bound ||
fabs(thw.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return power_testH2_SAF(
@ -394,18 +394,18 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(phx.value()) > SAF_bound ||
fabs(phy.value()) > SAF_bound ||
fabs(phw.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qhx.value()) > SAF_bound ||
fabs(qhy.value()) > SAF_bound ||
fabs(qhw.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(thx.value()) > SAF_bound ||
fabs(thy.value()) > SAF_bound ||
fabs(thw.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
fabs(phx.value()) > SAF_bound ||
fabs(phy.value()) > SAF_bound ||
fabs(phw.value()) > SAF_bound ||
fabs(pwt.value()) > SAF_bound ||
fabs(qhx.value()) > SAF_bound ||
fabs(qhy.value()) > SAF_bound ||
fabs(qhw.value()) > SAF_bound ||
fabs(qwt.value()) > SAF_bound ||
fabs(thx.value()) > SAF_bound ||
fabs(thy.value()) > SAF_bound ||
fabs(thw.value()) > SAF_bound ||
fabs(twt.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return power_testH2_SAF(

18
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates/in_smallest_orthogonalcircle_ftC2.h
View File

@ -101,15 +101,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pw.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qw.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tw.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pw.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qw.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tw.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return in_smallest_orthogonalcircleC2_SAF(

180
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates/sign_of_determinant.h
View File

@ -68,10 +68,10 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound)
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return sign_of_determinant2x2_SAF(
@ -182,15 +182,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound)
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return sign_of_determinant3x3_SAF(
@ -344,22 +344,22 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound)
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return sign_of_determinant4x4_SAF(
@ -570,31 +570,31 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a04.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a14.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a24.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound ||
fabs(a34.value()) > SAF_bound ||
fabs(a40.value()) > SAF_bound ||
fabs(a41.value()) > SAF_bound ||
fabs(a42.value()) > SAF_bound ||
fabs(a43.value()) > SAF_bound ||
fabs(a44.value()) > SAF_bound)
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a04.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a14.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a24.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound ||
fabs(a34.value()) > SAF_bound ||
fabs(a40.value()) > SAF_bound ||
fabs(a41.value()) > SAF_bound ||
fabs(a42.value()) > SAF_bound ||
fabs(a43.value()) > SAF_bound ||
fabs(a44.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return sign_of_determinant5x5_SAF(
@ -876,42 +876,42 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a04.value()) > SAF_bound ||
fabs(a05.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a14.value()) > SAF_bound ||
fabs(a15.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a24.value()) > SAF_bound ||
fabs(a25.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound ||
fabs(a34.value()) > SAF_bound ||
fabs(a35.value()) > SAF_bound ||
fabs(a40.value()) > SAF_bound ||
fabs(a41.value()) > SAF_bound ||
fabs(a42.value()) > SAF_bound ||
fabs(a43.value()) > SAF_bound ||
fabs(a44.value()) > SAF_bound ||
fabs(a45.value()) > SAF_bound ||
fabs(a50.value()) > SAF_bound ||
fabs(a51.value()) > SAF_bound ||
fabs(a52.value()) > SAF_bound ||
fabs(a53.value()) > SAF_bound ||
fabs(a54.value()) > SAF_bound ||
fabs(a55.value()) > SAF_bound)
fabs(a00.value()) > SAF_bound ||
fabs(a01.value()) > SAF_bound ||
fabs(a02.value()) > SAF_bound ||
fabs(a03.value()) > SAF_bound ||
fabs(a04.value()) > SAF_bound ||
fabs(a05.value()) > SAF_bound ||
fabs(a10.value()) > SAF_bound ||
fabs(a11.value()) > SAF_bound ||
fabs(a12.value()) > SAF_bound ||
fabs(a13.value()) > SAF_bound ||
fabs(a14.value()) > SAF_bound ||
fabs(a15.value()) > SAF_bound ||
fabs(a20.value()) > SAF_bound ||
fabs(a21.value()) > SAF_bound ||
fabs(a22.value()) > SAF_bound ||
fabs(a23.value()) > SAF_bound ||
fabs(a24.value()) > SAF_bound ||
fabs(a25.value()) > SAF_bound ||
fabs(a30.value()) > SAF_bound ||
fabs(a31.value()) > SAF_bound ||
fabs(a32.value()) > SAF_bound ||
fabs(a33.value()) > SAF_bound ||
fabs(a34.value()) > SAF_bound ||
fabs(a35.value()) > SAF_bound ||
fabs(a40.value()) > SAF_bound ||
fabs(a41.value()) > SAF_bound ||
fabs(a42.value()) > SAF_bound ||
fabs(a43.value()) > SAF_bound ||
fabs(a44.value()) > SAF_bound ||
fabs(a45.value()) > SAF_bound ||
fabs(a50.value()) > SAF_bound ||
fabs(a51.value()) > SAF_bound ||
fabs(a52.value()) > SAF_bound ||
fabs(a53.value()) > SAF_bound ||
fabs(a54.value()) > SAF_bound ||
fabs(a55.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return sign_of_determinant6x6_SAF(

198
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates_on_ftC2.h
View File

@ -94,13 +94,13 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_xC2_SAF(
@ -256,18 +256,18 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(h1a.value()) > SAF_bound ||
fabs(h1b.value()) > SAF_bound ||
fabs(h1c.value()) > SAF_bound ||
fabs(h2a.value()) > SAF_bound ||
fabs(h2b.value()) > SAF_bound ||
fabs(h2c.value()) > SAF_bound)
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(h1a.value()) > SAF_bound ||
fabs(h1b.value()) > SAF_bound ||
fabs(h1c.value()) > SAF_bound ||
fabs(h2a.value()) > SAF_bound ||
fabs(h2b.value()) > SAF_bound ||
fabs(h2c.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_xC2_SAF(
@ -407,11 +407,11 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(la.value()) > SAF_bound ||
fabs(lb.value()) > SAF_bound ||
fabs(lc.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(la.value()) > SAF_bound ||
fabs(lb.value()) > SAF_bound ||
fabs(lc.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_y_at_xC2_SAF(
@ -532,13 +532,13 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_y_at_xC2_SAF(
@ -676,15 +676,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(ha.value()) > SAF_bound ||
fabs(hb.value()) > SAF_bound ||
fabs(hc.value()) > SAF_bound)
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(ha.value()) > SAF_bound ||
fabs(hb.value()) > SAF_bound ||
fabs(hc.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_y_at_xC2_SAF(
@ -851,18 +851,18 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(h1a.value()) > SAF_bound ||
fabs(h1b.value()) > SAF_bound ||
fabs(h1c.value()) > SAF_bound ||
fabs(h2a.value()) > SAF_bound ||
fabs(h2b.value()) > SAF_bound ||
fabs(h2c.value()) > SAF_bound)
fabs(l1a.value()) > SAF_bound ||
fabs(l1b.value()) > SAF_bound ||
fabs(l1c.value()) > SAF_bound ||
fabs(l2a.value()) > SAF_bound ||
fabs(l2b.value()) > SAF_bound ||
fabs(l2c.value()) > SAF_bound ||
fabs(h1a.value()) > SAF_bound ||
fabs(h1b.value()) > SAF_bound ||
fabs(h1c.value()) > SAF_bound ||
fabs(h2a.value()) > SAF_bound ||
fabs(h2b.value()) > SAF_bound ||
fabs(h2c.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_y_at_xC2_SAF(
@ -992,10 +992,10 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return compare_deltax_deltayC2_SAF(
@ -1093,12 +1093,12 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return orientationC2_SAF(
@ -1240,14 +1240,14 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return side_of_oriented_circleC2_SAF(
@ -1376,14 +1376,14 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return side_of_bounded_circleC2_SAF(
@ -1501,12 +1501,12 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_dist_to_pointC2_SAF(
@ -1617,13 +1617,13 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(la.value()) > SAF_bound ||
fabs(lb.value()) > SAF_bound ||
fabs(lc.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound)
fabs(la.value()) > SAF_bound ||
fabs(lb.value()) > SAF_bound ||
fabs(lc.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_signed_dist_to_lineC2_SAF(
@ -1741,14 +1741,14 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_signed_dist_to_lineC2_SAF(

170
Packages/Interval_arithmetic/include/CGAL/Static_adaptatif_filter/predicates_on_ftC3.h
View File

@ -109,15 +109,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return collinearC3_SAF(
@ -261,18 +261,18 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return orientationC3_SAF(
@ -467,21 +467,21 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tz.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return side_of_oriented_sphereC3_SAF(
@ -671,21 +671,21 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tz.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound ||
fabs(sx.value()) > SAF_bound ||
fabs(sy.value()) > SAF_bound ||
fabs(sz.value()) > SAF_bound ||
fabs(tx.value()) > SAF_bound ||
fabs(ty.value()) > SAF_bound ||
fabs(tz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return side_of_bounded_sphereC3_SAF(
@ -840,15 +840,15 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound)
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound ||
fabs(rx.value()) > SAF_bound ||
fabs(ry.value()) > SAF_bound ||
fabs(rz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_dist_to_pointC3_SAF(
@ -980,16 +980,16 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(pa.value()) > SAF_bound ||
fabs(pb.value()) > SAF_bound ||
fabs(pc.value()) > SAF_bound ||
fabs(pd.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound)
fabs(pa.value()) > SAF_bound ||
fabs(pb.value()) > SAF_bound ||
fabs(pc.value()) > SAF_bound ||
fabs(pd.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_signed_dist_to_planeC3_SAF(
@ -1150,21 +1150,21 @@ letstry:
// Check the bounds. All arguments must be <= SAF_bound.
// The throw mecanism is not useful here, it should be before the try{}.
if (
fabs(ppx.value()) > SAF_bound ||
fabs(ppy.value()) > SAF_bound ||
fabs(ppz.value()) > SAF_bound ||
fabs(pqx.value()) > SAF_bound ||
fabs(pqy.value()) > SAF_bound ||
fabs(pqz.value()) > SAF_bound ||
fabs(prx.value()) > SAF_bound ||
fabs(pry.value()) > SAF_bound ||
fabs(prz.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound)
fabs(ppx.value()) > SAF_bound ||
fabs(ppy.value()) > SAF_bound ||
fabs(ppz.value()) > SAF_bound ||
fabs(pqx.value()) > SAF_bound ||
fabs(pqy.value()) > SAF_bound ||
fabs(pqz.value()) > SAF_bound ||
fabs(prx.value()) > SAF_bound ||
fabs(pry.value()) > SAF_bound ||
fabs(prz.value()) > SAF_bound ||
fabs(px.value()) > SAF_bound ||
fabs(py.value()) > SAF_bound ||
fabs(pz.value()) > SAF_bound ||
fabs(qx.value()) > SAF_bound ||
fabs(qy.value()) > SAF_bound ||
fabs(qz.value()) > SAF_bound)
throw Restricted_double::unsafe_comparison();
// Try the epsilon variant of the predicate.
return cmp_signed_dist_to_planeC3_SAF(