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 | 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) |
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. | |
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 52 of file rounding.cpp.
typedef gecode_boost::numeric::interval_lib::rounded_arith_opp<FloatNum> Gecode::Float::RoundingBase |
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 56 of file rounding.cpp.
bool Gecode::Float::subset | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [related] |
bool Gecode::Float::proper_subset | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [related] |
bool Gecode::Float::overlap | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [related] |
FloatVal Gecode::Float::intersect | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [related] |
FloatVal Gecode::Float::hull | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [related] |
FloatVal Gecode::Float::hull | ( | const FloatVal & | x, | |
const FloatNum & | y | |||
) | [related] |
FloatVal Gecode::Float::hull | ( | const FloatNum & | x, | |
const FloatVal & | y | |||
) | [related] |
FloatVal Gecode::Float::hull | ( | const FloatNum & | x, | |
const FloatNum & | y | |||
) | [related] |
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] |
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Float::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const FloatView & | x | |||
) | [related] |
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Float::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const MinusView & | x | |||
) | [related] |
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Float::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const OffsetView & | x | |||
) | [related] |
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Float::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ScaleView & | x | |||
) | [related] |