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 value x.
|
| 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  .
|
