Gecode::Float Namespace Reference

Floating point numbers. More...

Namespaces
namespace	Arithmetic
	Arithmetic propagators
namespace	Bool
	Boolean propagators.
namespace	Branch
	Float branchers.
namespace	Channel
	Channel propagators
namespace	Linear
	Linear propagators
namespace	Rel
	Simple relation propagators.
namespace	Transcendental
	Transcendental propagators
namespace	Trigonometric
	Trigonometric propagators
namespace	Limits
	Numerical limits for floating point variables.
Classes
class	OutOfLimits
	Exception: Value out of limits More...
class	ValueMixedSign
	Exception: Value with mixed sign More...
class	VariableEmptyDomain
	Exception: Variable created with empty domain More...
class	TooFewArguments
	Exception: Too few arguments available in argument array More...
class	ArgumentSizeMismatch
	Exception: Arguments are of different size More...
class	ArgumentSame
	Exception: Arguments contain same variable multiply More...
class	UnknownRelation
	Exception: Unknown relation passed as argument More...
class	UnknownOperation
	Exception: Unknown operation passed as argument More...
class	IllegalOperation
	Exception: Illegal operation passed as argument More...
class	UnknownBranching
	Exception: Unknown value or variable selection passed as argument More...
class	ValOfUnassignedVar
	Exception: Attempt to access value of unassigned variable More...
class	Relax
	Class for posting equalities for non-relaxed variables. More...
class	FloatTraceView
	Float trace view. More...
class	FloatDelta
	Float delta information for advisors. More...
class	FloatVarImp
	Float variable implementation. More...
class	FloatView
	Float view for float variables. More...
class	MinusView
	Minus float view. More...
class	OffsetView
	OffsetView float view. More...
class	ScaleView
	Scale float view. More...
class	Rounding
	Floating point rounding policy. More...
class	FloatVarImpBase
	Base-class for Float-variable implementations. More...
class	FloatVarImpConf
	Configuration for Float-variable implementations. More...
Typedefs
typedef int	mpfr_func (mpfr_t, const __mpfr_struct *, mp_rnd_t)
	Type signatur of mpfr function.
typedef gecode_boost::numeric::interval_lib::rounded_arith_opp < FloatNum >	RoundingBase
	Rounding Base class (optimized version).
Enumerations
enum	RelTest { RT_FALSE = 0, RT_MAYBE = 1, RT_TRUE = 2 }
	Result of testing relation. More...
Functions
double	invoke_mpfr (FloatNum x, mpfr_func f, mp_rnd_t r)
	Routine to call mpfr function with proper rounding.
bool	subset (const FloatVal &x, const FloatVal &y)
bool	proper_subset (const FloatVal &x, const FloatVal &y)
bool	overlap (const FloatVal &x, const FloatVal &y)
FloatVal	intersect (const FloatVal &x, const FloatVal &y)
FloatVal	hull (const FloatVal &x, const FloatVal &y)
FloatVal	hull (const FloatVal &x, const FloatNum &y)
FloatVal	hull (const FloatNum &x, const FloatVal &y)
FloatVal	hull (const FloatNum &x, const FloatNum &y)
bool	operator== (const MinusView &x, const MinusView &y)
bool	operator!= (const MinusView &x, const MinusView &y)
bool	operator== (const OffsetView &x, const OffsetView &y)
bool	operator!= (const OffsetView &x, const OffsetView &y)
template<class Char , class Traits , class View >
std::basic_ostream< Char, Traits > &	print_view (std::basic_ostream< Char, Traits > &os, const View &x)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const FloatView &x)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const MinusView &x)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ScaleView &x)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const Linear::NoView &)
template<class View >
RelTest	rtest_eq (View x, View y)
	Test whether views x and y are equal.
template<class View >
RelTest	rtest_eq (View x, FloatVal n)
	Test whether view x and Float n are equal.
template<class View >
RelTest	rtest_lq (View x, View y)
	Test whether view x is less or equal than view y.
template<class View >
RelTest	rtest_lq (View x, FloatVal n)
	Test whether view x is less or equal than float n.
template<class View >
RelTest	rtest_le (View x, View y)
	Test whether view x is less than view y.
template<class View >
RelTest	rtest_le (View x, FloatVal n)
	Test whether view x is less or equal than float n.
bool	operator== (const ScaleView &x, const ScaleView &y)
bool	operator!= (const ScaleView &x, const ScaleView &y)
Variables
const Gecode::ModEvent	ME_FLOAT_FAILED = Gecode::ME_GEN_FAILED
	Domain operation has resulted in failure.
const Gecode::ModEvent	ME_FLOAT_NONE = Gecode::ME_GEN_NONE
	Domain operation has not changed domain.
const Gecode::ModEvent	ME_FLOAT_VAL = Gecode::ME_GEN_ASSIGNED
	Domain operation has resulted in a value (assigned variable).
const Gecode::ModEvent	ME_FLOAT_BND = Gecode::ME_GEN_ASSIGNED + 1
	Domain operation has changed the minimum or maximum of the domain.
const Gecode::PropCond	PC_FLOAT_NONE = Gecode::PC_GEN_NONE
	Propagation condition to be ignored (convenience).
const Gecode::PropCond	PC_FLOAT_VAL = Gecode::PC_GEN_ASSIGNED
	Propagate when a view becomes assigned (single value).
const Gecode::PropCond	PC_FLOAT_BND = Gecode::PC_GEN_ASSIGNED + 1
	Propagate when minimum or maximum of a view changes.

Detailed Description

Floating point numbers.

The Gecode::Float namespace contains all functionality required to program propagators and branchers for floating point numbers. In addition, all propagators and branchers for floating point numbers provided by Gecode are contained as nested namespaces.

Typedef Documentation

typedef int Gecode::Float::mpfr_func(mpfr_t, const __mpfr_struct *, mp_rnd_t)

Type signatur of mpfr function.

Definition at line 48 of file rounding.cpp.

typedef gecode_boost::numeric::interval_lib::rounded_arith_opp<FloatNum> Gecode::Float::RoundingBase

Rounding Base class (optimized version).

Definition at line 145 of file float.hh.

Function Documentation

double Gecode::Float::invoke_mpfr	(	FloatNum	x,
		mpfr_func	f,
		mp_rnd_t	r
	)			`[inline]`

Routine to call mpfr function with proper rounding.

Definition at line 52 of file rounding.cpp.

bool Gecode::Float::subset	(	const FloatVal &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 490 of file val.hpp.

bool Gecode::Float::proper_subset	(	const FloatVal &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 494 of file val.hpp.

bool Gecode::Float::overlap	(	const FloatVal &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 498 of file val.hpp.

FloatVal Gecode::Float::intersect	(	const FloatVal &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 503 of file val.hpp.

FloatVal Gecode::Float::hull	(	const FloatVal &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 507 of file val.hpp.

FloatVal Gecode::Float::hull	(	const FloatVal &	x,
		const FloatNum &	y
	)			`[related]`

Definition at line 511 of file val.hpp.

FloatVal Gecode::Float::hull	(	const FloatNum &	x,
		const FloatVal &	y
	)			`[related]`

Definition at line 515 of file val.hpp.

FloatVal Gecode::Float::hull	(	const FloatNum &	x,
		const FloatNum &	y
	)			`[related]`

Definition at line 519 of file val.hpp.

bool Gecode::Float::operator==	(	const MinusView &	x,
		const MinusView &	y
	)			`[related]`

Definition at line 165 of file minus.hpp.

bool Gecode::Float::operator!=	(	const MinusView &	x,
		const MinusView &	y
	)			`[related]`

Definition at line 169 of file minus.hpp.

bool Gecode::Float::operator==	(	const OffsetView &	x,
		const OffsetView &	y
	)			`[related]`

Definition at line 195 of file offset.hpp.

bool Gecode::Float::operator!=	(	const OffsetView &	x,
		const OffsetView &	y
	)			`[related]`

Definition at line 199 of file offset.hpp.

template<class Char , class Traits , class View >

std::basic_ostream<Char,Traits>& Gecode::Float::print_view	(	std::basic_ostream< Char, Traits > &	os,
		const View &	x
	)			`[inline]`

Definition at line 45 of file print.hpp.