Gecode::FloatVal Class Reference
[Float variables]
#include <float.hh>
Protected Types | |
typedef gecode_boost::numeric::interval_lib::save_state < Float::Rounding > | R |
Used rounding policies. | |
typedef gecode_boost::numeric::interval_lib::checking_strict < FloatNum > | P |
Used checking policy. | |
typedef gecode_boost::numeric::interval < FloatNum, gecode_boost::numeric::interval_lib::policies < R, P > > | FloatValImpType |
Implementation type for float value. | |
Protected Member Functions | |
FloatVal (const FloatValImpType &i) | |
Initialize from implementation i. | |
Protected Attributes | |
FloatValImpType | x |
Implementation of float value. | |
Friends | |
FloatVal | operator+ (const FloatVal &x) |
Arithmetic operator. | |
FloatVal | operator- (const FloatVal &x) |
Arithmetic operator. | |
FloatVal | operator+ (const FloatVal &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator+ (const FloatVal &x, const FloatNum &y) |
Arithmetic operator. | |
FloatVal | operator+ (const FloatNum &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator- (const FloatVal &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator- (const FloatVal &x, const FloatNum &y) |
Arithmetic operator. | |
FloatVal | operator- (const FloatNum &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator* (const FloatVal &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator* (const FloatVal &x, const FloatNum &y) |
Arithmetic operator. | |
FloatVal | operator* (const FloatNum &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator/ (const FloatVal &x, const FloatVal &y) |
Arithmetic operator. | |
FloatVal | operator/ (const FloatVal &x, const FloatNum &y) |
Arithmetic operator. | |
FloatVal | operator/ (const FloatNum &x, const FloatVal &y) |
Arithmetic operator. | |
bool | operator< (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator< (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator< (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
bool | operator<= (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator<= (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator<= (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
bool | operator> (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator> (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator> (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
bool | operator>= (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator>= (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator>= (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
bool | operator== (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator== (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator== (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
bool | operator!= (const FloatVal &x, const FloatVal &y) |
Comparison operator. | |
bool | operator!= (const FloatVal &x, const FloatNum &y) |
Comparison operator. | |
bool | operator!= (const FloatNum &x, const FloatVal &y) |
Comparison operator. | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const FloatVal &x) |
Print float variable view. | |
FloatVal | abs (const FloatVal &x) |
Return absolute value of x. | |
FloatVal | sqrt (const FloatVal &x) |
Return square root of x. | |
FloatVal | sqr (const FloatVal &x) |
Return square of x. | |
FloatVal | pow (const FloatVal &x, int n) |
Return n -th power of x. | |
FloatVal | nroot (const FloatVal &x, int n) |
Return n -th root of x. | |
FloatVal | max (const FloatVal &x, const FloatVal &y) |
Return maximum of x and y. | |
FloatVal | max (const FloatVal &x, const FloatNum &y) |
Return maximum of x and y. | |
FloatVal | max (const FloatNum &x, const FloatVal &y) |
Return maximum of x and y. | |
FloatVal | min (const FloatVal &x, const FloatVal &y) |
Return minimum of x and y. | |
FloatVal | min (const FloatVal &x, const FloatNum &y) |
Return minimum of x and y. | |
FloatVal | min (const FloatNum &x, const FloatVal &y) |
Return minimum of x and y. | |
FloatVal | exp (const FloatVal &x) |
Return exponential of x. | |
FloatVal | log (const FloatVal &x) |
Return logarithm of x. | |
FloatVal | fmod (const FloatVal &x, const FloatVal &y) |
Trigonometric function argument reduction. | |
FloatVal | fmod (const FloatVal &x, const FloatNum &y) |
Trigonometric function argument reduction. | |
FloatVal | fmod (const FloatNum &x, const FloatVal &y) |
Trigonometric function argument reduction. | |
FloatVal | sin (const FloatVal &x) |
Return sine of x. | |
FloatVal | cos (const FloatVal &x) |
Return cosine of x. | |
FloatVal | tan (const FloatVal &x) |
Return tangent of x. | |
FloatVal | asin (const FloatVal &x) |
Return arcsine of x. | |
FloatVal | acos (const FloatVal &x) |
Return arccosine of x. | |
FloatVal | atan (const FloatVal &x) |
Return arctangent of x. | |
FloatVal | sinh (const FloatVal &x) |
Return hyperbolic of x. | |
FloatVal | cosh (const FloatVal &x) |
Return hyperbolic of x. | |
FloatVal | tanh (const FloatVal &x) |
Return hyperbolic of x. | |
FloatVal | asinh (const FloatVal &x) |
Return hyperbolic of x. | |
FloatVal | acosh (const FloatVal &x) |
Return hyperbolic of x. | |
FloatVal | atanh (const FloatVal &x) |
Return hyperbolic of x. | |
bool | Float::subset (const FloatVal &x, const FloatVal &y) |
bool | Float::proper_subset (const FloatVal &x, const FloatVal &y) |
bool | Float::overlap (const FloatVal &x, const FloatVal &y) |
FloatVal | Float::intersect (const FloatVal &x, const FloatVal &y) |
FloatVal | Float::hull (const FloatVal &x, const FloatVal &y) |
FloatVal | Float::hull (const FloatVal &x, const FloatNum &y) |
FloatVal | Float::hull (const FloatNum &x, const FloatVal &y) |
FloatVal | Float::hull (const FloatNum &x, const FloatNum &y) |
Related Functions | |
(Note that these are not member functions.) | |
bool | subset (const FloatVal &x, const FloatVal &y) |
Test whether x is a subset of y. | |
bool | proper_subset (const FloatVal &x, const FloatVal &y) |
Test whether x is a proper subset of y. | |
bool | overlap (const FloatVal &x, const FloatVal &y) |
Test whether x and y overlap. | |
FloatVal | intersect (const FloatVal &x, const FloatVal &y) |
Return intersection of x and y. | |
FloatVal | hull (const FloatVal &x, const FloatVal &y) |
Return hull of x and y. | |
FloatVal | hull (const FloatVal &x, const FloatNum &y) |
Return hull of x and y. | |
FloatVal | hull (const FloatNum &x, const FloatVal &y) |
Return hull of x and y. | |
FloatVal | hull (const FloatNum &x, const FloatNum &y) |
Return hull of x and y. | |
Constructors and initialization | |
| |
FloatVal (void) | |
Default constructor. | |
FloatVal (const FloatNum &n) | |
Initialize with float number n. | |
FloatVal (const FloatNum &l, const FloatNum &u) | |
Initialize with lower bound l and upper bound u. | |
FloatVal (const FloatVal &v) | |
Copy constructor. | |
FloatVal & | operator= (const FloatNum &n) |
Assignment operator. | |
FloatVal & | operator= (const FloatVal &v) |
Assignment operator. | |
void | assign (FloatNum const &l, FloatNum const &u) |
Assign lower bound l and upper bound u. | |
Value access | |
| |
FloatNum | min (void) const |
Return lower bound. | |
FloatNum | max (void) const |
Return upper bound. | |
FloatNum | size (void) const |
Return size of float value (distance between maximum and minimum). | |
FloatNum | med (void) const |
Return median of float value. | |
Value tests | |
| |
bool | tight (void) const |
Test whether float is tight. | |
bool | singleton (void) const |
Test whether float is a singleton. | |
bool | in (FloatNum n) const |
Test whether n is included. | |
bool | zero_in (void) const |
Test whether zero is included. | |
Update operators | |
| |
FloatVal & | operator+= (const FloatNum &n) |
Increment by n. | |
FloatVal & | operator-= (const FloatNum &n) |
Subtract by n. | |
FloatVal & | operator*= (const FloatNum &n) |
Multiply by n. | |
FloatVal & | operator/= (const FloatNum &n) |
Divide by n. | |
FloatVal & | operator+= (const FloatVal &v) |
Increment by v. | |
FloatVal & | operator-= (const FloatVal &v) |
Subtract by v. | |
FloatVal & | operator*= (const FloatVal &v) |
Multiply by v. | |
FloatVal & | operator/= (const FloatVal &v) |
Divide by v. | |
Float value construction | |
| |
static FloatVal | hull (FloatNum x, FloatNum y) |
Return hull of x and y. | |
static FloatVal | pi_half (void) |
Return ![]() | |
static FloatVal | pi (void) |
Return lower bound of ![]() | |
static FloatVal | pi_twice (void) |
Return ![]() |
Detailed Description
Float value type.
Definition at line 321 of file float.hh.
Member Typedef Documentation
typedef gecode_boost::numeric::interval_lib::save_state<Float::Rounding> Gecode::FloatVal::R [protected] |
typedef gecode_boost::numeric::interval_lib::checking_strict<FloatNum> Gecode::FloatVal::P [protected] |
typedef gecode_boost::numeric::interval<FloatNum, gecode_boost::numeric::interval_lib::policies<R, P> > Gecode::FloatVal::FloatValImpType [protected] |
Constructor & Destructor Documentation
Gecode::FloatVal::FloatVal | ( | const FloatValImpType & | i | ) | [inline, explicit, protected] |
Gecode::FloatVal::FloatVal | ( | void | ) | [inline] |
Gecode::FloatVal::FloatVal | ( | const FloatNum & | n | ) | [inline] |
Gecode::FloatVal::FloatVal | ( | const FloatVal & | v | ) | [inline] |
Member Function Documentation
FloatNum Gecode::FloatVal::min | ( | void | ) | const [inline] |
FloatNum Gecode::FloatVal::max | ( | void | ) | const [inline] |
FloatNum Gecode::FloatVal::size | ( | void | ) | const [inline] |
FloatNum Gecode::FloatVal::med | ( | void | ) | const [inline] |
bool Gecode::FloatVal::tight | ( | void | ) | const [inline] |
bool Gecode::FloatVal::singleton | ( | void | ) | const [inline] |
bool Gecode::FloatVal::in | ( | FloatNum | n | ) | const [inline] |
bool Gecode::FloatVal::zero_in | ( | void | ) | const [inline] |
FloatVal Gecode::FloatVal::pi_half | ( | void | ) | [inline, static] |
FloatVal Gecode::FloatVal::pi | ( | void | ) | [inline, static] |
FloatVal Gecode::FloatVal::pi_twice | ( | void | ) | [inline, static] |
Friends And Related Function Documentation
ArrayTraits< ArgArray< T > >::ArgsType operator+ | ( | const FloatVal & | x, | |
const FloatVal & | y | |||
) | [friend] |
Arithmetic operator.
Concatenate x and y and return result
std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const FloatVal & | x | |||
) | [friend] |
Print float variable view.
Print set variable x.
Print complement set view.
Print singleton set view.
Print universe set view.
Print empty set view.
Print constant set view.
Print set variable view.
Print AFC information (prints nothing).
Print activity values enclosed in curly brackets.
Print Boolean variable x.
Print integer variable x.
Print integer set s.
Print negated Boolean view.
Print Boolean view.
Print integer constant integer view.
Print long long-precision integer scale view.
Print integer-precision integer scale view.
Print integer offset view.
Print integer minus view.
Print optional task in format est:lst:pmin:pmax:ect:lct:m.
Print task in format est:lst:pmin:pmax:ect:lct.
Print optional task in format est:p:lct:m.
Print task in format est:p:lct.
Print integer variable view.
Print array elements enclosed in curly brackets.
Print optional task in format est:lst:pmin:pmax:c:ect:lct:m.
Print optional task in format est:[p,c]:lct:m.
Print task in format est:[p,c]:lct.
Print float variable x.
Print float value x.
Print scale view.
Print float offset view.
Print float minus view.
Print DFA d
Print TupleSet ts
Print regular expression r
Print matrix m
Definition at line 159 of file int-noview.hpp.
Trigonometric function argument reduction.
Trigonometric function argument reduction.
Trigonometric function argument reduction.
Test whether x is a proper subset of y.
Return intersection of x and y.
Member Data Documentation
FloatValImpType Gecode::FloatVal::x [protected] |
The documentation for this class was generated from the following files:
- gecode/float.hh (Revision: 14241)
- gecode/float/val.hpp (Revision: 14241)
- gecode/float/view.hpp (Revision: 13260)
- gecode/int/cumulative.hh (Revision: 13487)
- gecode/int/idx-view.hh (Revision: 14362)
- gecode/int/linear/int-noview.hpp (Revision: 13292)
- gecode/int/task.hh (Revision: 13487)
- gecode/int/unary.hh (Revision: 12197)
- gecode/int/view.hpp (Revision: 13297)
- gecode/int.hh (Revision: 14362)
- gecode/kernel/activity.hpp (Revision: 13949)
- gecode/kernel/afc.hpp (Revision: 14124)
- gecode/kernel/array.hpp (Revision: 14294)
- gecode/kernel/shared-array.hpp (Revision: 13521)
- gecode/minimodel.hh (Revision: 14471)
- gecode/set/view.hpp (Revision: 12318)
- gecode/set.hh (Revision: 14116)