SPAR/AIModule/BWTA/vendors/CGAL/CGAL/certified_numeric_predicates.h File Reference

#include <CGAL/number_utils.h>
#include <CGAL/Interval_arithmetic.h>
#include <CGAL/Uncertain.h>

Include dependency graph for certified_numeric_predicates.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
CGAL_BEGIN_NAMESPACE Uncertain < bool >	logical_or (Uncertain< bool > a, Uncertain< bool > b)
Uncertain< bool >	logical_and (Uncertain< bool > a, Uncertain< bool > b)
Uncertain< bool >	logical_or (Uncertain< bool > a, Uncertain< bool > b, Uncertain< bool > c)
Uncertain< bool >	logical_and (Uncertain< bool > a, Uncertain< bool > b, Uncertain< bool > c)
template<class NT >
Uncertain< bool >	certified_is_zero (const NT &x)
template<class NT >
Uncertain< bool >	certified_is_not_zero (const NT &x)
template<class NT >
Uncertain< bool >	certified_is_one (const NT &x)
template<class NT >
Uncertain< bool >	certified_is_negative (const NT &x)
template<class NT >
Uncertain< bool >	certified_is_positive (const NT &x)
template<class NT >
Uncertain< Sign >	certified_sign (const NT &x)
template<class NT1 , class NT2 >
Uncertain< Comparison_result >	certified_compare (const NT1 &n1, const NT2 &n2)
Uncertain< bool >	certified_is_smaller (Uncertain< Comparison_result > c)
Uncertain< bool >	certified_is_equal (Uncertain< Comparison_result > c)
Uncertain< bool >	certified_is_larger (Uncertain< Comparison_result > c)
Uncertain< bool >	certified_is_smaller_or_equal (Uncertain< Comparison_result > c)
Uncertain< bool >	certified_is_larger_or_equal (Uncertain< Comparison_result > c)
template<class NT1 , class NT2 >
Uncertain< bool >	certified_is_smaller (const NT1 &n1, const NT2 &n2)
template<class NT1 , class NT2 >
Uncertain< bool >	certified_is_equal (const NT1 &n1, const NT2 &n2)
template<class NT1 , class NT2 >
Uncertain< bool >	certified_is_larger (const NT1 &n1, const NT2 &n2)
template<class NT1 , class NT2 >
Uncertain< bool >	certified_is_smaller_or_equal (const NT1 &n1, const NT2 &n2)
template<class NT1 , class NT2 >
Uncertain< bool >	certified_is_larger_or_equal (const NT1 &n1, const NT2 &n2)
template<class NT >
Uncertain< Sign >	certified_sign_of_determinant2x2 (const NT &a00, const NT &a01, const NT &a10, const NT &a11)

---

Function Documentation

template<class NT1 , class NT2 >

Uncertain<Comparison_result> certified_compare	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

Uncertain<bool> certified_is_equal

(

Uncertain< Comparison_result >

c

)

[inline]

Here is the caller graph for this function:

template<class NT1 , class NT2 >

Uncertain<bool> certified_is_equal	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

Uncertain<bool> certified_is_larger

(

Uncertain< Comparison_result >

c

)

[inline]

Here is the caller graph for this function:

template<class NT1 , class NT2 >

Uncertain<bool> certified_is_larger	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

Uncertain<bool> certified_is_larger_or_equal

(

Uncertain< Comparison_result >

c

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<class NT1 , class NT2 >

Uncertain<bool> certified_is_larger_or_equal	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

template<class NT >

Uncertain<bool> certified_is_negative

(

const NT &

x

)

[inline]

Here is the call graph for this function:

template<class NT >

Uncertain<bool> certified_is_not_zero

(

const NT &

x

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<class NT >

Uncertain<bool> certified_is_one

(

const NT &

x

)

[inline]

Here is the call graph for this function:

template<class NT >

Uncertain<bool> certified_is_positive

(

const NT &

x

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

Uncertain<bool> certified_is_smaller

(

Uncertain< Comparison_result >

c

)

[inline]

Here is the caller graph for this function:

template<class NT1 , class NT2 >

Uncertain<bool> certified_is_smaller	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

Uncertain<bool> certified_is_smaller_or_equal

(

Uncertain< Comparison_result >

c

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<class NT1 , class NT2 >

Uncertain<bool> certified_is_smaller_or_equal	(	const NT1 &	n1,
		const NT2 &	n2
	)		[inline]

Here is the call graph for this function:

template<class NT >

Uncertain<bool> certified_is_zero

(

const NT &

x

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<class NT >

Uncertain<Sign> certified_sign

(

const NT &

x

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<class NT >

Uncertain<Sign> certified_sign_of_determinant2x2	(	const NT &	a00,
		const NT &	a01,
		const NT &	a10,
		const NT &	a11
	)		[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

Uncertain<bool> logical_and	(	Uncertain< bool >	a,
		Uncertain< bool >	b
	)		[inline]

Here is the caller graph for this function:

Uncertain<bool> logical_and	(	Uncertain< bool >	a,
		Uncertain< bool >	b,
		Uncertain< bool >	c
	)		[inline]

CGAL_BEGIN_NAMESPACE Uncertain<bool> logical_or	(	Uncertain< bool >	a,
		Uncertain< bool >	b
	)		[inline]

Here is the caller graph for this function:

Uncertain<bool> logical_or	(	Uncertain< bool >	a,
		Uncertain< bool >	b,
		Uncertain< bool >	c
	)		[inline]