Gecode::Float::Rounding Class Reference
[Float variables]

Floating point rounding policy. More...

#include <float.hh>

Constructor and destructor

	Rounding (void)
	Default constructor (configures full rounding mode).
	~Rounding (void)
	Destructor (restores previous rounding mode).
Arithmetic operations

FloatNum	add_down (FloatNum x, FloatNum y)
	Return lower bound of x plus y (domain: $[-\infty;+\infty][-\infty;+\infty]$ ).
FloatNum	add_up (FloatNum x, FloatNum y)
	Return upper bound of x plus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).
FloatNum	sub_down (FloatNum x, FloatNum y)
	Return lower bound of x minus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).
FloatNum	sub_up (FloatNum x, FloatNum y)
	Return upper bound of x minus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).
FloatNum	mul_down (FloatNum x, FloatNum y)
	Return lower bound of x times y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).
FloatNum	mul_up (FloatNum x, FloatNum y)
	Return upper bound of x times y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).
FloatNum	div_down (FloatNum x, FloatNum y)
	Return lower bound of x divided by y (domain: $[-\infty;+\infty] ([-\infty;+\infty]-{0})$ ).
FloatNum	div_up (FloatNum x, FloatNum y)
	Return upper bound of x divided y (domain: $[-\infty;+\infty] ([-\infty;+\infty]-{0})$ ).
FloatNum	sqrt_down (FloatNum x)
	Return lower bound of square root of x (domain: $]0;+\infty]$ ).
FloatNum	sqrt_up (FloatNum x)
	Return upper bound of square root of x (domain: $]0;+\infty]$ ).
Miscellaneous operations

FloatNum	median (FloatNum x, FloatNum y)
	Return median of x and y (domain: $[-\infty;+\infty][-\infty;+\infty]$ ).
FloatNum	int_down (FloatNum x)
	Return next downward-rounded integer of x (domain: $[-\infty;+\infty]$ ).
FloatNum	int_up (FloatNum x)
	Return next upward-rounded integer of x (domain: $[-\infty;+\infty]$ ).
Exponential functions

FloatNum	exp_down (FloatNum x)
	Return lower bound of exponential of x (domain: $[-\infty;+\infty]$ ).
FloatNum	exp_up (FloatNum x)
	Return upper bound of exponential of x (domain: $[-\infty;+\infty]$ ).
FloatNum	log_down (FloatNum x)
	Return lower bound of logarithm of x (domain: $]0;+\infty]$ ).
FloatNum	log_up (FloatNum x)
	Return upper bound of logarithm of x (domain: $]0;+\infty]$ ).
Trigonometric functions

FloatNum	sin_down (FloatNum x)
	Return lower bound of sine of x (domain: $[0;2\pi]$ ).
FloatNum	sin_up (FloatNum x)
	Return upper bound of sine of x (domain: $[0;2\pi]$ ).
FloatNum	cos_down (FloatNum x)
	Return lower bound of cosine of x (domain: $[0;2\pi]$ ).
FloatNum	cos_up (FloatNum x)
	Return upper bound of cosine of x (domain: $[0;2\pi]$ ).
FloatNum	tan_down (FloatNum x)
	Return lower bound of tangent of x (domain: $]-\pi/2;\pi/2[$ ).
FloatNum	tan_up (FloatNum x)
	Return upper bound of tangent of x (domain: $]-\pi/2;\pi/2[$ ).
Inverse trigonometric functions

FloatNum	asin_down (FloatNum x)
	Return lower bound of arcsine of x (domain: ).
FloatNum	asin_up (FloatNum x)
	Return upper bound of arcsine of x (domain: ).
FloatNum	acos_down (FloatNum x)
	Return lower bound of arccosine of x (domain: ).
FloatNum	acos_up (FloatNum x)
	Return upper bound of arccossine of x (domain: ).
FloatNum	atan_down (FloatNum x)
	Return lower bound of arctangent of x (domain: $[-\infty;+\infty]$ ).
FloatNum	atan_up (FloatNum x)
	Return upper bound of arctangent of x (domain: $[-\infty;+\infty]$ ).
Hyperbolic functions

FloatNum	sinh_down (FloatNum x)
	Return lower bound of hyperbolic sine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	sinh_up (FloatNum x)
	Return upper bound of hyperbolic sine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	cosh_down (FloatNum x)
	Return lower bound of hyperbolic cosine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	cosh_up (FloatNum x)
	Return upper bound of hyperbolic cosine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	tanh_down (FloatNum x)
	Return lower bound of hyperbolic tangent of x (domain: $[-\infty;+\infty]$ ).
FloatNum	tanh_up (FloatNum x)
	Return upper bound of hyperbolic tangent of x (domain: $[-\infty;+\infty]$ ).
Inverse hyperbolic functions

FloatNum	asinh_down (FloatNum x)
	Return lower bound of hyperbolic arcsine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	asinh_up (FloatNum x)
	Return upper bound of hyperbolic arcsine of x (domain: $[-\infty;+\infty]$ ).
FloatNum	acosh_down (FloatNum x)
	Return lower bound of hyperbolic arccosine of x (domain: $[1;+\infty]$ ).
FloatNum	acosh_up (FloatNum x)
	Return upper bound of hyperbolic arccosine of x (domain: $[1;+\infty]$ ).
FloatNum	atanh_down (FloatNum x)
	Return lower bound of hyperbolic arctangent of x (domain: ).
FloatNum	atanh_up (FloatNum x)
	Return upper bound of hyperbolic arctangent of x (domain: ).

Detailed Description

Floating point rounding policy.

Definition at line 154 of file float.hh.

Constructor & Destructor Documentation

Gecode::Float::Rounding::Rounding ( void ) [inline]

Default constructor (configures full rounding mode).

Definition at line 37 of file rounding.hpp.

Gecode::Float::Rounding::~Rounding ( void ) [inline]

Destructor (restores previous rounding mode).

Definition at line 41 of file rounding.hpp.

Member Function Documentation

FloatNum Gecode::Float::Rounding::add_down	(	FloatNum	x,
		FloatNum	y
	)

Return lower bound of x plus y (domain: $[-\infty;+\infty][-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::add_up	(	FloatNum	x,
		FloatNum	y
	)

Return upper bound of x plus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sub_down	(	FloatNum	x,
		FloatNum	y
	)

Return lower bound of x minus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sub_up	(	FloatNum	x,
		FloatNum	y
	)

Return upper bound of x minus y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::mul_down	(	FloatNum	x,
		FloatNum	y
	)

Return lower bound of x times y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::mul_up	(	FloatNum	x,
		FloatNum	y
	)

Return upper bound of x times y (domain: $[-\infty;+\infty] [-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::div_down	(	FloatNum	x,
		FloatNum	y
	)

Return lower bound of x divided by y (domain: $[-\infty;+\infty] ([-\infty;+\infty]-{0})$ ).

FloatNum Gecode::Float::Rounding::div_up	(	FloatNum	x,
		FloatNum	y
	)

Return upper bound of x divided y (domain: $[-\infty;+\infty] ([-\infty;+\infty]-{0})$ ).

FloatNum Gecode::Float::Rounding::sqrt_down ( FloatNum x )

Return lower bound of square root of x (domain: $]0;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sqrt_up ( FloatNum x )

Return upper bound of square root of x (domain: $]0;+\infty]$ ).

FloatNum Gecode::Float::Rounding::median	(	FloatNum	x,
		FloatNum	y
	)			`[inline]`

Return median of x and y (domain: $[-\infty;+\infty][-\infty;+\infty]$ ).

Definition at line 44 of file rounding.hpp.

FloatNum Gecode::Float::Rounding::int_down ( FloatNum x )

Return next downward-rounded integer of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::int_up ( FloatNum x )

Return next upward-rounded integer of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::exp_down ( FloatNum x )

Return lower bound of exponential of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::exp_up ( FloatNum x )

Return upper bound of exponential of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::log_down ( FloatNum x )

Return lower bound of logarithm of x (domain: $]0;+\infty]$ ).

FloatNum Gecode::Float::Rounding::log_up ( FloatNum x )

Return upper bound of logarithm of x (domain: $]0;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sin_down ( FloatNum x )

Return lower bound of sine of x (domain: $[0;2\pi]$ ).

FloatNum Gecode::Float::Rounding::sin_up ( FloatNum x )

Return upper bound of sine of x (domain: $[0;2\pi]$ ).

FloatNum Gecode::Float::Rounding::cos_down ( FloatNum x )

Return lower bound of cosine of x (domain: $[0;2\pi]$ ).

FloatNum Gecode::Float::Rounding::cos_up ( FloatNum x )

Return upper bound of cosine of x (domain: $[0;2\pi]$ ).

FloatNum Gecode::Float::Rounding::tan_down ( FloatNum x )

Return lower bound of tangent of x (domain: $]-\pi/2;\pi/2[$ ).

FloatNum Gecode::Float::Rounding::tan_up ( FloatNum x )

Return upper bound of tangent of x (domain: $]-\pi/2;\pi/2[$ ).

FloatNum Gecode::Float::Rounding::asin_down ( FloatNum x )

Return lower bound of arcsine of x (domain: $ [-1;1]$ ).

FloatNum Gecode::Float::Rounding::asin_up ( FloatNum x )

Return upper bound of arcsine of x (domain: $ [-1;1]$ ).

FloatNum Gecode::Float::Rounding::acos_down ( FloatNum x )

Return lower bound of arccosine of x (domain: $ [-1;1]$ ).

FloatNum Gecode::Float::Rounding::acos_up ( FloatNum x )

Return upper bound of arccossine of x (domain: $ [-1;1]$ ).

FloatNum Gecode::Float::Rounding::atan_down ( FloatNum x )

Return lower bound of arctangent of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::atan_up ( FloatNum x )

Return upper bound of arctangent of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sinh_down ( FloatNum x )

Return lower bound of hyperbolic sine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::sinh_up ( FloatNum x )

Return upper bound of hyperbolic sine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::cosh_down ( FloatNum x )

Return lower bound of hyperbolic cosine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::cosh_up ( FloatNum x )

Return upper bound of hyperbolic cosine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::tanh_down ( FloatNum x )

Return lower bound of hyperbolic tangent of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::tanh_up ( FloatNum x )

Return upper bound of hyperbolic tangent of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::asinh_down ( FloatNum x )

Return lower bound of hyperbolic arcsine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::asinh_up ( FloatNum x )

Return upper bound of hyperbolic arcsine of x (domain: $[-\infty;+\infty]$ ).

FloatNum Gecode::Float::Rounding::acosh_down ( FloatNum x )

Return lower bound of hyperbolic arccosine of x (domain: $[1;+\infty]$ ).

FloatNum Gecode::Float::Rounding::acosh_up ( FloatNum x )

Return upper bound of hyperbolic arccosine of x (domain: $[1;+\infty]$ ).

FloatNum Gecode::Float::Rounding::atanh_down ( FloatNum x )

Return lower bound of hyperbolic arctangent of x (domain: $ [-1;1]$ ).

FloatNum Gecode::Float::Rounding::atanh_up ( FloatNum x )

Return upper bound of hyperbolic arctangent of x (domain: $ [-1;1]$ ).

The documentation for this class was generated from the following files:

gecode/float.hh
gecode/float/rounding.hpp

Gecode::Float::Rounding Class Reference [Float variables]

Constructor and destructor

Arithmetic operations

Miscellaneous operations

Exponential functions

Trigonometric functions

Inverse trigonometric functions

Hyperbolic functions

Inverse hyperbolic functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Gecode::Float::Rounding Class Reference
[Float variables]