CGAL::Uncertain< T > Class Template Reference

#include <CGAL/Uncertain.h>

Definition

template<typename T>
class CGAL::Uncertain< T >

An object of the class Uncertain represents an uncertainty on the value of type T. This uncertainty is represented by a non-empty range of values of type T.

The idea is that sometimes you are not sure of the result of a function, and you would like to communicate that to the caller. Uncertain<T> allows just that.

Uncertain<T> is also meant to be used as a drop-in replacement for T in some template contexts, as much as possible. This is why it provides overloaded operators and functions to naturally extend the Boolean operations for Uncertain<bool> for example, or the operations on enumeration types.

Uncertain<T> is used in CGAL as the return type of geometric predicates when the number type used is interval arithmetic like Interval_nt. End users typically do not see it, as it is hidden in the implementation of the filtered predicates provided by the various filtered kernels, but it is important that providers of predicates that are meant to be filtered by Filtered_predicate, know about it.

Note concerning CGAL assertions: assertions checking an expression of type Uncertain<bool> will trigger an assertion failure only if the assertion is certainly false. In case of an indeterminate value, the assertion is not triggered. This means that we assume, in case of doubt, that there is no error.

It can also be used in other contexts as well, as it is a general tool. This can be seen as support for non-deterministic programming. Finally, note that this class has some common points with boost::tribool.

Parameters

The parameter T can either be bool or one of the three-valued (-1, 0, 1) enumeration types: Sign, Comparison_result, Orientation, Oriented_side, Bounded_side or Angle.

Some functions are defined only when T is bool or alternatively when it is one of the enumeration types listed previously.

See also

CGAL::Interval_nt<bool>

Static Public Member Functions
static Uncertain< T >	indeterminate ()
	returns an indeterminate range. More...

Related Functions
(Note that these are not member functions.)
template<class T >
T	inf (Uncertain< T > u)
	returns u.inf(). More...
template<class T >
T	sup (Uncertain< T > u)
	returns u.sup(). More...
template<class T >
bool	is_certain (T t)
	returns true. More...
template<class T >
bool	is_certain (Uncertain< T > u)
	returns u.is_certain(). More...
template<class U >
U	indeterminate ()
	returns U::indeterminate() if U is Uncertain<T>, and U() otherwise. More...
template<class T >
bool	is_indeterminate (T u)
	returns false. More...
template<class T >
bool	is_indeterminate (Uncertain< T > u)
	returns !is_certain(u). More...
template<class T >
T	get_certain (T t)
	returns t. More...
template<class T >
T	get_certain (Uncertain< T > u)
	returns u.make_certain(). More...
template<class T >
T	make_certain (T t)
	returns t. More...
template<class T >
T	make_certain (Uncertain< T > u)
	returns u.make_certain(). More...
template<class T >
Uncertain< T >	make_uncertain (T t)
	returns Uncertain<T>(u). More...
template<class T >
Uncertain< T >	make_uncertain (Uncertain< T > u)
	returns u. More...
#define	CGAL_AND_3
	Boolean operation with 3 arguments. More...
#define	CGAL_OR_3
	Boolean operation with 3 arguments. More...
bool	certainly (Uncertain< bool > u)
	returns true iff u.is_certain(), and the u.make_certain() returns true. More...
bool	certainly (bool u)
	returns u. More...
bool	possibly (Uncertain< bool > u)
	returns true iff u.is_certain() returns false, or if u.make_certain() returns true. More...
bool	possibly (bool u)
	returns u. More...
bool	certainly_not (Uncertain< bool > u)
	returns true iff u.is_certain(), and the u.make_certain() returns false. More...
bool	certainly_not (bool u)
	returns !u. More...
bool	possibly_not (Uncertain< bool > u)
	returns true iff u.is_certain() returns false, or if u.make_certain() returns false. More...
bool	possibly_not (bool u)
	returns !u. More...

Types
typedef unspecified_type	value_type
	The type T. More...
typedef unspecified_type	Uncertain_conversion_exception
	The type of the exception thrown for uncertain conversions. More...

Creation
	Uncertain ()
	introduces a certain object with value T(). More...
	Uncertain (T t)
	introduces a certain object with value t. More...
Uncertain &	operator= (T t)
	assigns the certain value t to u. More...
	Uncertain (T i, T s)
	introduces an object representing the range with lower bound i and upper bound s. More...

Access Functions
The following functions are meant to be used very rarely, they provide ways to inspect the content of an Uncertain<T> object.
T	inf () const
	returns the lower bound of the range represented by u. More...
T	sup () const
	returns the upper bound of the range represented by u. More...
bool	is_same (Uncertain u) const
	returns true whether u and u are the same range (equality as sets). More...

Uncertainty Testing and Conversion
There are several ways to extract the content of an Uncertain object. The simplest way is to rely on the implicit conversion from Uncertain<T> to T. In this case, no special code has to be written, apart from an exception handler (anywhere higher in the call stack) to manage the uncertain case. The more involved one is more efficient, but requires manual treatment of the uncertain case, such as: Uncertain<bool> b = ...; if (is_certain(b)) bool cert_b = get_certain(b); // Extract the certain bool it contains ... else ... // b is indeterminate Another option is : Uncertain<bool> b = ...; if (certainly(b)) ... // b is certainly true else if (certainly_not(b)) ... // b is certainly false else ... // b is indeterminate There are many other handy functions which can be used for easier usage depending on the context. They are listed in the sequel.
bool	is_certain () const
	returns true iff the value is certain, that is, it is unique, the range is a singleton, that is u.inf() == u.sup(). More...
T	make_certain () const
	if u.is_certain(), then returns the certain value which is represented. More...
	operator T () const
	conversion operator to T. More...

Overloaded Operators
The overloaded operators and functions are defined as preserving the set-inclusion property. Similarly to interval arithmetic, the returned range is guaranteed to contain the result of the operation over all values of the input range(s). In the following documentation we express this as the extension of the corresponding function over the type T.
template<class T >
Uncertain< bool >	operator== (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the equality operator over u and v. More...
template<class T >
Uncertain< bool >	operator== (Uncertain< T > u, T v)
	returns u == make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator== (T u, Uncertain< T > v)
	returns v == u. More...
template<class T >
Uncertain< bool >	operator!= (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the inequality operator over u and v. More...
template<class T >
Uncertain< bool >	operator!= (Uncertain< T > u, T v)
	returns u != make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator!= (T u, Uncertain< T > v)
	returns v != u. More...

Overloaded Operators for Uncertain<bool>
The overloaded operators and functions are defined as preserving the set-inclusion property. Similarly to interval arithmetic, the returned range is guaranteed to contain the result of the operation over all values of the input range(s). In the following documentation we express this as the extension of the corresponding function over the type T. Note The logical operators \( \&\&\) and \( ||\) are not overloaded on purpose. The reason is that, when f() && g() is evaluated and they return bool, then g() is only evaluated when f() returns true. One could have a dependency so that g() has an internal precondition that required that f() had returned true. The overloaded operators for user-defined types can not provide this short-circuiting property, and so, if the overloaded operators where provided, then g() would be evaluated, no matter the result of f(), which could lead to an unwanted situation, or a performance loss. The \( \&\) and \( |\) operators do not have this short-circuiting property, and are therefore overloaded safely. When translating normal code to use and propagate uncertainty, such as : // Logical AND if ( (p.x() == 0) && (p.y() == 0) ) ... else ... // Logical OR if ( (q.x() == 0) || (q.y() == 0) ) ... else ... One can do, for example : // Logical AND Uncertain<bool> tmp = (p.x() == 0); Uncertain<bool> res = certainly_not(tmp) ? make_uncertain(false) : tmp & (p.y() == 0); ... // Use res // Logical OR Uncertain<bool> tmp = (q.x() == 0); Uncertain<bool> res = certainly(tmp) ? make_uncertain(true) : tmp | (q.y() == 0); ... // Use res This ensures that the first expression is not evaluated twice, and that the second is evaluated only if needed. This behavior can also be emulated through the use of macros, but only using non-standard features ("statement expressions", such as provided by GCC). The macros CGAL_AND and CGAL_OR are provided that perform the lazy evaluation of these logical operations. On compilers that do not support statement expressions, the macros simply expand to the \( \&\&\) and \( ||\) operators (which will throw an exception instead of propagating the uncertainty). // Logical AND Uncertain<bool> res = CGAL_AND( p.x() == 0 , p.y() == 0 ); ... // Use res // Logical OR Uncertain<bool> res = CGAL_OR( q.x() == 0 , q.y() == 0 ); ... // Use res
Uncertain< bool >	operator! (Uncertain< bool > u)
	returns the range containing the negated values of u. More...
Uncertain< bool >	operator| (Uncertain< bool > u, Uncertain< bool > v)
	returns the range containing the values computed as logical or from u and v. More...
Uncertain< bool >	operator| (Uncertain< bool > u, bool v)
	returns u | make_uncertain(v). More...
Uncertain< bool >	operator| (bool u, Uncertain< bool > v)
	returns v | u. More...
Uncertain< bool >	operator& (Uncertain< bool > u, Uncertain< bool > v)
	returns the range containing the values computed as logical and from u and v. More...
Uncertain< bool >	operator& (Uncertain< bool > u, bool v)
	returns u & make_uncertain(v). More...
Uncertain< bool >	operator& (bool u, Uncertain< bool > v)
	returns v & u. More...

Overloaded Operators and Functions for Uncertain<enum T> Only
template<class T >
Uncertain< bool >	operator< (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the less-than operator over u and v. More...
template<class T >
Uncertain< bool >	operator< (Uncertain< T > u, T v)
	returns u < make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator< (T u, Uncertain< T > v)
	returns make_uncertain(u) < v. More...
template<class T >
Uncertain< bool >	operator> (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the greater-than operator over u and v. More...
template<class T >
Uncertain< bool >	operator> (Uncertain< T > u, T v)
	returns u > make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator> (T u, Uncertain< T > v)
	returns make_uncertain(u) > v. More...
template<class T >
Uncertain< bool >	operator<= (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the less-than or equal operator over u and v. More...
template<class T >
Uncertain< bool >	operator<= (Uncertain< T > u, T v)
	returns u <= make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator<= (T u, Uncertain< T > v)
	returns make_uncertain(u) <= v. More...
template<class T >
Uncertain< bool >	operator>= (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the greater-than or equal operator over u and v. More...
template<class T >
Uncertain< bool >	operator>= (Uncertain< T > u, T v)
	returns u > make_uncertain(v). More...
template<class T >
Uncertain< bool >	operator>= (T u, Uncertain< T > v)
	returns make_uncertain(u) >= v. More...
template<class T >
Uncertain< T >	operator* (Uncertain< T > u, Uncertain< T > v)
	returns the extension of the multiplication operator over u and v. More...
template<class T >
Uncertain< T >	operator* (Uncertain< T > u, T v)
	returns u * make_uncertain(v). More...
template<class T >
Uncertain< T >	operator< (T u, Uncertain< T > v)
	returns make_uncertain(u) * v. More...
template<class T >
Uncertain< T >	operator- (Uncertain< T > u)
	returns the extension of the unary minus operator over u. More...
template<class T , class U >
Uncertain< T >	enum_cast (Uncertain< U > u)
	returns the extension of the enum_cast<T> function over u. More...

Member Typedef Documentation

Uncertain_conversion_exception

template<typename T >

typedef unspecified_type CGAL::Uncertain< T >::Uncertain_conversion_exception

The type of the exception thrown for uncertain conversions.

It is a typedef to the type CGAL::Uncertain_conversion_exception which derives from std::range_error.

value_type

template<typename T >

typedef unspecified_type CGAL::Uncertain< T >::value_type

The type T.

Constructor & Destructor Documentation

Uncertain() [1/3]

template<typename T >

CGAL::Uncertain< T >::Uncertain

(

)

introduces a certain object with value T().

Uncertain() [2/3]

template<typename T >

CGAL::Uncertain< T >::Uncertain

(

T

t

)

introduces a certain object with value t.

Uncertain() [3/3]

template<typename T >

CGAL::Uncertain< T >::Uncertain	(	T	i,
		T	s
	)

introduces an object representing the range with lower bound i and upper bound s.

Precondition

\( i<= s\).

Member Function Documentation

enum_cast()

template<typename T >

template<class T , class U >

Uncertain<T> CGAL::Uncertain< T >::enum_cast

(

Uncertain< U >

u

)

returns the extension of the enum_cast<T> function over u.

indeterminate()

template<typename T >

static Uncertain<T> CGAL::Uncertain< T >::indeterminate ( )

static

returns an indeterminate range.

inf()

template<typename T >

T CGAL::Uncertain< T >::inf

(

)

const

returns the lower bound of the range represented by u.

is_certain()

template<typename T >

bool CGAL::Uncertain< T >::is_certain

(

)

const

returns true iff the value is certain, that is, it is unique, the range is a singleton, that is u.inf() == u.sup().

is_same()

template<typename T >

bool CGAL::Uncertain< T >::is_same

(

Uncertain< T >

u

)

const

returns true whether u and u are the same range (equality as sets).

make_certain()

template<typename T >

T CGAL::Uncertain< T >::make_certain

(

)

const

if u.is_certain(), then returns the certain value which is represented.

Otherwise, throws an exception of type Uncertain_conversion_exception. A profile counter of the number of such exceptions thrown during the execution of the program is available with CGAL_PROFILE.

operator T()

template<typename T >

CGAL::Uncertain< T >::operator T

(

)

const

conversion operator to T.

It does and returns the same thing as u. make_certain(). Note that relying on the automatic conversion can throw exceptions, which defeats the purpose of propagating uncertainty. Nevertheless, in many cases, it is hard to avoid it, for example for the && and \( ||\) operators for bool (see below).

operator!()

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator!

(

Uncertain< bool >

u

)

returns the range containing the negated values of u.

operator!=() [1/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator!=	(	T	u,
		Uncertain< T >	v
	)

returns v != u.

operator!=() [2/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator!=	(	Uncertain< T >	u,
		T	v
	)

returns u != make_uncertain(v).

operator!=() [3/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator!=	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the inequality operator over u and v.

operator&() [1/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator&	(	bool	u,
		Uncertain< bool >	v
	)

returns v & u.

operator&() [2/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator&	(	Uncertain< bool >	u,
		bool	v
	)

returns u & make_uncertain(v).

operator&() [3/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator&	(	Uncertain< bool >	u,
		Uncertain< bool >	v
	)

returns the range containing the values computed as logical and from u and v.

operator*() [1/2]

template<typename T >

template<class T >

Uncertain<T> CGAL::Uncertain< T >::operator*	(	Uncertain< T >	u,
		T	v
	)

returns u * make_uncertain(v).

operator*() [2/2]

template<typename T >

template<class T >

Uncertain<T> CGAL::Uncertain< T >::operator*	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the multiplication operator over u and v.

This requires T to have a multiplication operator as well.

operator-()

template<typename T >

template<class T >

Uncertain<T> CGAL::Uncertain< T >::operator-

(

Uncertain< T >

u

)

returns the extension of the unary minus operator over u.

operator<() [1/4]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<	(	T	u,
		Uncertain< T >	v
	)

returns make_uncertain(u) < v.

operator<() [2/4]

template<typename T >

template<class T >

Uncertain<T> CGAL::Uncertain< T >::operator<	(	T	u,
		Uncertain< T >	v
	)

returns make_uncertain(u) * v.

operator<() [3/4]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<	(	Uncertain< T >	u,
		T	v
	)

returns u < make_uncertain(v).

operator<() [4/4]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the less-than operator over u and v.

operator<=() [1/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<=	(	T	u,
		Uncertain< T >	v
	)

returns make_uncertain(u) <= v.

operator<=() [2/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<=	(	Uncertain< T >	u,
		T	v
	)

returns u <= make_uncertain(v).

operator<=() [3/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator<=	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the less-than or equal operator over u and v.

operator=()

template<typename T >

Uncertain& CGAL::Uncertain< T >::operator=

(

T

t

)

assigns the certain value t to u.

operator==() [1/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator==	(	T	u,
		Uncertain< T >	v
	)

returns v == u.

operator==() [2/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator==	(	Uncertain< T >	u,
		T	v
	)

returns u == make_uncertain(v).

operator==() [3/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator==	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the equality operator over u and v.

operator>() [1/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>	(	T	u,
		Uncertain< T >	v
	)

returns make_uncertain(u) > v.

operator>() [2/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>	(	Uncertain< T >	u,
		T	v
	)

returns u > make_uncertain(v).

operator>() [3/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the greater-than operator over u and v.

operator>=() [1/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>=	(	T	u,
		Uncertain< T >	v
	)

returns make_uncertain(u) >= v.

operator>=() [2/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>=	(	Uncertain< T >	u,
		T	v
	)

returns u > make_uncertain(v).

operator>=() [3/3]

template<typename T >

template<class T >

Uncertain<bool> CGAL::Uncertain< T >::operator>=	(	Uncertain< T >	u,
		Uncertain< T >	v
	)

returns the extension of the greater-than or equal operator over u and v.

operator|() [1/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator|	(	bool	u,
		Uncertain< bool >	v
	)

returns v | u.

operator|() [2/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator|	(	Uncertain< bool >	u,
		bool	v
	)

returns u | make_uncertain(v).

operator|() [3/3]

template<typename T >

Uncertain<bool> CGAL::Uncertain< T >::operator|	(	Uncertain< bool >	u,
		Uncertain< bool >	v
	)

returns the range containing the values computed as logical or from u and v.

sup()

template<typename T >

T CGAL::Uncertain< T >::sup

(

)

const

returns the upper bound of the range represented by u.

Friends And Related Function Documentation

certainly() [1/2]

template<typename T >

bool certainly ( bool  u )

related

returns u.

certainly() [2/2]

template<typename T >

bool certainly ( Uncertain< bool >  u )

related

returns true iff u.is_certain(), and the u.make_certain() returns true.

certainly_not() [1/2]

template<typename T >

bool certainly_not ( bool  u )

related

returns !u.

certainly_not() [2/2]

template<typename T >

bool certainly_not ( Uncertain< bool >  u )

related

returns true iff u.is_certain(), and the u.make_certain() returns false.

CGAL_AND_3

template<typename T >

#define CGAL_AND_3

related

Boolean operation with 3 arguments.

CGAL_OR_3

template<typename T >

#define CGAL_OR_3

related

Boolean operation with 3 arguments.

get_certain() [1/2]

template<class T >

T get_certain ( T  t )

related

returns t.

get_certain() [2/2]

template<class T >

T get_certain ( Uncertain< T >  u )

related

returns u.make_certain().

Precondition

u.is_certain().

indeterminate()

template<class U >

U indeterminate ( )

related

returns U::indeterminate() if U is Uncertain<T>, and U() otherwise.

inf()

template<class T >

T inf ( Uncertain< T >  u )

related

returns u.inf().

is_certain() [1/2]

template<class T >

bool is_certain ( T  t )

related

returns true.

is_certain() [2/2]

template<class T >

bool is_certain ( Uncertain< T >  u )

related

returns u.is_certain().

is_indeterminate() [1/2]

template<class T >

bool is_indeterminate ( T  u )

related

returns false.

is_indeterminate() [2/2]

template<class T >

bool is_indeterminate ( Uncertain< T >  u )

related

returns !is_certain(u).

make_certain() [1/2]

template<class T >

T make_certain ( T  t )

related

returns t.

make_certain() [2/2]

template<class T >

T make_certain ( Uncertain< T >  u )

related

returns u.make_certain().

make_uncertain() [1/2]

template<class T >

Uncertain< T > make_uncertain ( T  t )

related

returns Uncertain<T>(u).

make_uncertain() [2/2]

template<class T >

Uncertain< T > make_uncertain ( Uncertain< T >  u )

related

returns u.

possibly() [1/2]

template<typename T >

bool possibly ( bool  u )

related

returns u.

possibly() [2/2]

template<typename T >

bool possibly ( Uncertain< bool >  u )

related

returns true iff u.is_certain() returns false, or if u.make_certain() returns true.

possibly_not() [1/2]

template<typename T >

bool possibly_not ( bool  u )

related

returns !u.

possibly_not() [2/2]

template<typename T >

bool possibly_not ( Uncertain< bool >  u )

related

returns true iff u.is_certain() returns false, or if u.make_certain() returns false.

sup()

template<class T >

T sup ( Uncertain< T >  u )

related

returns u.sup().