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

#include <CGAL/config.h>
#include <CGAL/assertions.h>
#include <CGAL/enum.h>
#include <CGAL/Profile_counter.h>
#include <stdexcept>
#include <typeinfo>

Include dependency graph for Uncertain.h:

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

Go to the source code of this file.

Classes
struct	CGALi::Minmax_traits< bool >
struct	CGALi::Minmax_traits< Sign >
struct	CGALi::Minmax_traits< Bounded_side >
struct	CGALi::Minmax_traits< Angle >
class	Uncertain_conversion_exception
class	Uncertain< T >
struct	CGALi::Indeterminate_helper< T >
struct	CGALi::Indeterminate_helper< Uncertain< T > >
Namespaces
namespace	CGALi
Defines
#define	CGAL_AND(X, Y)
#define	CGAL_OR(X, Y)
#define	CGAL_AND_3(X, Y, Z)   CGAL_AND(X, CGAL_AND(Y, Z))
#define	CGAL_OR_3(X, Y, Z)   CGAL_OR(X, CGAL_OR(Y, Z))
Functions
template<typename T >
T	inf (Uncertain< T > i)
template<typename T >
T	sup (Uncertain< T > i)
template<typename T >
bool	is_certain (T)
template<typename T >
T	get_certain (T t)
template<typename T >
bool	is_certain (Uncertain< T > a)
template<typename T >
T	get_certain (Uncertain< T > a)
template<typename T >
CGALi::Indeterminate_helper< T > ::result_type	indeterminate ()
template<typename T >
bool	is_indeterminate (T)
template<typename T >
bool	is_indeterminate (Uncertain< T > a)
bool	certainly (bool b)
bool	possibly (bool b)
bool	certainly_not (bool b)
bool	possibly_not (bool b)
bool	certainly (Uncertain< bool > c)
bool	possibly (Uncertain< bool > c)
bool	certainly_not (Uncertain< bool > c)
bool	possibly_not (Uncertain< bool > c)
Uncertain< bool >	operator! (Uncertain< bool > a)
Uncertain< bool >	operator| (Uncertain< bool > a, Uncertain< bool > b)
Uncertain< bool >	operator| (bool a, Uncertain< bool > b)
Uncertain< bool >	operator| (Uncertain< bool > a, bool b)
Uncertain< bool >	operator& (Uncertain< bool > a, Uncertain< bool > b)
Uncertain< bool >	operator& (bool a, Uncertain< bool > b)
Uncertain< bool >	operator& (Uncertain< bool > a, bool b)
template<typename T >
Uncertain< bool >	operator== (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator== (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator== (T a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator!= (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator!= (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator!= (T a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator< (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator< (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator< (T a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator> (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator> (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator> (T a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator<= (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator<= (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator<= (T a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator>= (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< bool >	operator>= (Uncertain< T > a, T b)
template<typename T >
Uncertain< bool >	operator>= (T a, Uncertain< T > b)
template<typename T >
Uncertain< T >	make_uncertain (T t)
template<typename T >
Uncertain< T >	make_uncertain (Uncertain< T > t)
template<typename T >
T	make_certain (T t)
template<typename T >
T	make_certain (Uncertain< T > t)
template<typename T >
Uncertain< T >	operator- (Uncertain< T > u)
template<typename T >
Uncertain< T >	operator* (Uncertain< T > a, Uncertain< T > b)
template<typename T >
Uncertain< T >	operator* (T a, Uncertain< T > b)
template<typename T >
Uncertain< T >	operator* (Uncertain< T > a, T b)
template<typename T , typename U >
Uncertain< T >	enum_cast (Uncertain< U > u)

---

Define Documentation

#define CGAL_AND	(		X,
			Y
	)

Value:

({ CGAL::Uncertain<bool> CGAL_TMP = (X); \
          CGAL::certainly_not(CGAL_TMP) ? CGAL::make_uncertain(false) \
                                        : CGAL_TMP & CGAL::make_uncertain((Y)); })

#define CGAL_AND_3	(		X,
			Y,
			Z
	)		CGAL_AND(X, CGAL_AND(Y, Z))

#define CGAL_OR	(		X,
			Y
	)

Value:

({ CGAL::Uncertain<bool> CGAL_TMP = (X); \
          CGAL::certainly(CGAL_TMP) ? CGAL::make_uncertain(true) \
                                    : CGAL_TMP | CGAL::make_uncertain((Y)); })

#define CGAL_OR_3	(		X,
			Y,
			Z
	)		CGAL_OR(X, CGAL_OR(Y, Z))

---

Function Documentation

bool certainly

(

bool

b

)

[inline]

Here is the caller graph for this function:

bool certainly

(

Uncertain< bool >

c

)

[inline]

Here is the call graph for this function:

bool certainly_not

(

bool

b

)

[inline]

bool certainly_not

(

Uncertain< bool >

c

)

[inline]

Here is the call graph for this function:

template<typename T , typename U >

Uncertain<T> enum_cast

(

Uncertain< U >

u

)

[inline]

Here is the call graph for this function:

template<typename T >

T get_certain

(

T

t

)

[inline]

Here is the caller graph for this function:

template<typename T >

T get_certain

(

Uncertain< T >

a

)

[inline]

Here is the call graph for this function:

template<typename T >

CGALi::Indeterminate_helper<T>::result_type indeterminate

(

)

[inline]

Here is the caller graph for this function:

template<typename T >

T inf

(

Uncertain< T >

i

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function:

template<typename T >

bool is_certain

(

T

)

[inline]

Here is the caller graph for this function:

template<typename T >

bool is_certain

(

Uncertain< T >

a

)

[inline]

Here is the call graph for this function:

template<typename T >

bool is_indeterminate

(

T

)

[inline]

Here is the caller graph for this function:

template<typename T >

bool is_indeterminate

(

Uncertain< T >

a

)

[inline]

Here is the call graph for this function:

template<typename T >

T make_certain

(

T

t

)

[inline]

Here is the caller graph for this function:

template<typename T >

T make_certain

(

Uncertain< T >

t

)

[inline]

Here is the call graph for this function:

template<typename T >

Uncertain<T> make_uncertain

(

T

t

)

[inline]

Here is the caller graph for this function:

template<typename T >

Uncertain<T> make_uncertain

(

Uncertain< T >

t

)

[inline]

Uncertain<bool> operator!

(

Uncertain< bool >

a

)

[inline]

Here is the call graph for this function:

template<typename T >

Uncertain<bool> operator!=	(	Uncertain< T >	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

Uncertain<bool> operator!=	(	Uncertain< T >	a,
		T	b
	)		[inline]

template<typename T >

Uncertain<bool> operator!=	(	T	a,
		Uncertain< T >	b
	)		[inline]

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

Here is the call graph for this function:

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

Here is the call graph for this function:

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

Here is the call graph for this function:

template<typename T >

Uncertain<T> operator*	(	Uncertain< T >	a,
		Uncertain< T >	b
	)

Here is the call graph for this function:

template<typename T >

Uncertain<T> operator*	(	T	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

Uncertain<T> operator*	(	Uncertain< T >	a,
		T	b
	)		[inline]

template<typename T >

Uncertain<T> operator-

(

Uncertain< T >

u

)

[inline]

Here is the call graph for this function:

template<typename T >

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

Here is the call graph for this function:

template<typename T >

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

Here is the call graph for this function:

template<typename T >

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

Here is the call graph for this function:

template<typename T >

Uncertain<bool> operator<=	(	Uncertain< T >	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

Uncertain<bool> operator<=	(	Uncertain< T >	a,
		T	b
	)		[inline]

template<typename T >

Uncertain<bool> operator<=	(	T	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

Uncertain<bool> operator==	(	Uncertain< T >	a,
		Uncertain< T >	b
	)		[inline]

Here is the call graph for this function:

template<typename T >

Uncertain<bool> operator==	(	Uncertain< T >	a,
		T	b
	)		[inline]

Here is the call graph for this function:

template<typename T >

Uncertain<bool> operator==	(	T	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

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

template<typename T >

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

template<typename T >

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

template<typename T >

Uncertain<bool> operator>=	(	Uncertain< T >	a,
		Uncertain< T >	b
	)		[inline]

template<typename T >

Uncertain<bool> operator>=	(	Uncertain< T >	a,
		T	b
	)		[inline]

template<typename T >

Uncertain<bool> operator>=	(	T	a,
		Uncertain< T >	b
	)		[inline]

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

Here is the call graph for this function:

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

Here is the call graph for this function:

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

Here is the call graph for this function:

bool possibly

(

bool

b

)

[inline]

Here is the caller graph for this function:

bool possibly

(

Uncertain< bool >

c

)

[inline]

Here is the call graph for this function:

bool possibly_not

(

bool

b

)

[inline]

bool possibly_not

(

Uncertain< bool >

c

)

[inline]

Here is the call graph for this function:

template<typename T >

T sup

(

Uncertain< T >

i

)

[inline]

Here is the call graph for this function:

Here is the caller graph for this function: