Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

Float value type. More...

#include <float.hh>

Protected Types

typedef boost::numeric::interval_lib::save_state< Float::RoundingR
 Used rounding policies.
typedef boost::numeric::interval_lib::checking_strict< FloatNumP
 Used checking policy.
typedef boost::numeric::interval< FloatNum, 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.

(Note that these are not member symbols.)

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.
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 &r, const FloatVal &x)
 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.

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.
FloatValoperator= (const FloatNum &n)
 Assignment operator.
FloatValoperator= (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

FloatValoperator+= (const FloatNum &n)
 Increment by n.
FloatValoperator-= (const FloatNum &n)
 Subtract by n.
FloatValoperator*= (const FloatNum &n)
 Multiply by n.
FloatValoperator/= (const FloatNum &n)
 Divide by n.
FloatValoperator+= (const FloatVal &v)
 Increment by v.
FloatValoperator-= (const FloatVal &v)
 Subtract by v.
FloatValoperator*= (const FloatVal &v)
 Multiply by v.
FloatValoperator/= (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 $\pi/2$.
static FloatVal pi (void)
 Return lower bound of $\pi$.
static FloatVal pi_twice (void)
 Return $2\pi$.

Detailed Description

Float value type.

Definition at line 334 of file float.hh.

Member Typedef Documentation

◆ R

typedef boost::numeric::interval_lib::save_state<Float::Rounding> Gecode::FloatVal::R
protected

Used rounding policies.

Definition at line 416 of file float.hh.

◆ P

typedef boost::numeric::interval_lib::checking_strict<FloatNum> Gecode::FloatVal::P
protected

Used checking policy.

Definition at line 418 of file float.hh.

◆ FloatValImpType

typedef boost::numeric::interval<FloatNum, boost::numeric::interval_lib::policies<R, P> > Gecode::FloatVal::FloatValImpType
protected

Implementation type for float value.

Definition at line 423 of file float.hh.

Constructor & Destructor Documentation

◆ FloatVal() [1/5]

Gecode::FloatVal::FloatVal ( const FloatValImpType & i)
inlineexplicitprotected

Initialize from implementation i.

Definition at line 51 of file val.hpp.

◆ FloatVal() [2/5]

Gecode::FloatVal::FloatVal ( void )
inline

Default constructor.

Definition at line 45 of file val.hpp.

◆ FloatVal() [3/5]

Gecode::FloatVal::FloatVal ( const FloatNum & n)
inline

Initialize with float number n.

Definition at line 47 of file val.hpp.

◆ FloatVal() [4/5]

Gecode::FloatVal::FloatVal ( const FloatNum & l,
const FloatNum & u )
inline

Initialize with lower bound l and upper bound u.

Definition at line 49 of file val.hpp.

◆ FloatVal() [5/5]

Gecode::FloatVal::FloatVal ( const FloatVal & v)
inline

Copy constructor.

Definition at line 53 of file val.hpp.

Member Function Documentation

◆ operator=() [1/2]

FloatVal & Gecode::FloatVal::operator= ( const FloatNum & n)
inline

Assignment operator.

Definition at line 56 of file val.hpp.

◆ operator=() [2/2]

FloatVal & Gecode::FloatVal::operator= ( const FloatVal & v)
inline

Assignment operator.

Definition at line 60 of file val.hpp.

◆ assign()

void Gecode::FloatVal::assign ( FloatNum const & l,
FloatNum const & u )
inline

Assign lower bound l and upper bound u.

Definition at line 65 of file val.hpp.

◆ min()

FloatNum Gecode::FloatVal::min ( void ) const
inline

Return lower bound.

Definition at line 70 of file val.hpp.

◆ max()

FloatNum Gecode::FloatVal::max ( void ) const
inline

Return upper bound.

Definition at line 74 of file val.hpp.

◆ size()

FloatNum Gecode::FloatVal::size ( void ) const
inline

Return size of float value (distance between maximum and minimum)

Definition at line 78 of file val.hpp.

◆ med()

FloatNum Gecode::FloatVal::med ( void ) const
inline

Return median of float value.

Definition at line 82 of file val.hpp.

◆ tight()

bool Gecode::FloatVal::tight ( void ) const
inline

Test whether float is tight.

Definition at line 87 of file val.hpp.

◆ singleton()

bool Gecode::FloatVal::singleton ( void ) const
inline

Test whether float is a singleton.

Definition at line 92 of file val.hpp.

◆ in()

bool Gecode::FloatVal::in ( FloatNum n) const
inline

Test whether n is included.

Definition at line 96 of file val.hpp.

◆ zero_in()

bool Gecode::FloatVal::zero_in ( void ) const
inline

Test whether zero is included.

Definition at line 100 of file val.hpp.

◆ hull()

Return hull of x and y.

Definition at line 105 of file val.hpp.

◆ pi_half()

FloatVal Gecode::FloatVal::pi_half ( void )
inlinestatic

Return $\pi/2$.

Definition at line 109 of file val.hpp.

◆ pi()

FloatVal Gecode::FloatVal::pi ( void )
inlinestatic

Return lower bound of $\pi$.

Definition at line 114 of file val.hpp.

◆ pi_twice()

FloatVal Gecode::FloatVal::pi_twice ( void )
inlinestatic

Return $2\pi$.

Definition at line 119 of file val.hpp.

◆ operator+=() [1/2]

FloatVal & Gecode::FloatVal::operator+= ( const FloatNum & n)
inline

Increment by n.

Definition at line 125 of file val.hpp.

◆ operator-=() [1/2]

FloatVal & Gecode::FloatVal::operator-= ( const FloatNum & n)
inline

Subtract by n.

Definition at line 129 of file val.hpp.

◆ operator*=() [1/2]

FloatVal & Gecode::FloatVal::operator*= ( const FloatNum & n)
inline

Multiply by n.

Definition at line 133 of file val.hpp.

◆ operator/=() [1/2]

FloatVal & Gecode::FloatVal::operator/= ( const FloatNum & n)
inline

Divide by n.

Definition at line 137 of file val.hpp.

◆ operator+=() [2/2]

FloatVal & Gecode::FloatVal::operator+= ( const FloatVal & v)
inline

Increment by v.

Definition at line 142 of file val.hpp.

◆ operator-=() [2/2]

FloatVal & Gecode::FloatVal::operator-= ( const FloatVal & v)
inline

Subtract by v.

Definition at line 146 of file val.hpp.

◆ operator*=() [2/2]

FloatVal & Gecode::FloatVal::operator*= ( const FloatVal & v)
inline

Multiply by v.

Definition at line 150 of file val.hpp.

◆ operator/=() [2/2]

FloatVal & Gecode::FloatVal::operator/= ( const FloatVal & v)
inline

Divide by v.

Definition at line 154 of file val.hpp.

◆ subset()

bool subset ( const FloatVal & x,
const FloatVal & y )
related

Test whether x is a subset of y.

Definition at line 490 of file val.hpp.

◆ proper_subset()

bool proper_subset ( const FloatVal & x,
const FloatVal & y )
related

Test whether x is a proper subset of y.

Definition at line 494 of file val.hpp.

◆ overlap()

bool overlap ( const FloatVal & x,
const FloatVal & y )
related

Test whether x and y overlap.

Definition at line 498 of file val.hpp.

◆ intersect()

FloatVal intersect ( const FloatVal & x,
const FloatVal & y )
related

Return intersection of x and y.

Definition at line 503 of file val.hpp.

◆ hull() [1/4]

FloatVal hull ( const FloatVal & x,
const FloatVal & y )
related

Return hull of x and y.

Definition at line 507 of file val.hpp.

◆ hull() [2/4]

FloatVal hull ( const FloatVal & x,
const FloatNum & y )
related

Return hull of x and y.

Definition at line 511 of file val.hpp.

◆ hull() [3/4]

FloatVal hull ( const FloatNum & x,
const FloatVal & y )
related

Return hull of x and y.

Definition at line 515 of file val.hpp.

◆ hull() [4/4]

FloatVal hull ( const FloatNum & x,
const FloatNum & y )
related

Return hull of x and y.

Definition at line 519 of file val.hpp.

◆ operator+() [1/4]

FloatVal operator+ ( const FloatVal & x)
related

Arithmetic operator.

Definition at line 164 of file val.hpp.

◆ operator-() [1/4]

FloatVal operator- ( const FloatVal & x)
related

Arithmetic operator.

Definition at line 168 of file val.hpp.

◆ operator+() [2/4]

FloatVal operator+ ( const FloatVal & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 174 of file val.hpp.

◆ operator+() [3/4]

FloatVal operator+ ( const FloatVal & x,
const FloatNum & y )
related

Arithmetic operator.

Definition at line 178 of file val.hpp.

◆ operator+() [4/4]

FloatVal operator+ ( const FloatNum & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 182 of file val.hpp.

◆ operator-() [2/4]

FloatVal operator- ( const FloatVal & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 187 of file val.hpp.

◆ operator-() [3/4]

FloatVal operator- ( const FloatVal & x,
const FloatNum & y )
related

Arithmetic operator.

Definition at line 191 of file val.hpp.

◆ operator-() [4/4]

FloatVal operator- ( const FloatNum & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 195 of file val.hpp.

◆ operator*() [1/3]

FloatVal operator* ( const FloatVal & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 200 of file val.hpp.

◆ operator*() [2/3]

FloatVal operator* ( const FloatVal & x,
const FloatNum & y )
related

Arithmetic operator.

Definition at line 204 of file val.hpp.

◆ operator*() [3/3]

FloatVal operator* ( const FloatNum & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 208 of file val.hpp.

◆ operator/() [1/3]

FloatVal operator/ ( const FloatVal & x,
const FloatVal & y )
related

Arithmetic operator.

Definition at line 213 of file val.hpp.

◆ operator/() [2/3]

FloatVal operator/ ( const FloatVal & x,
const FloatNum & y )
related

Arithmetic operator.

Definition at line 217 of file val.hpp.

◆ operator/() [3/3]

FloatVal operator/ ( const FloatNum & r,
const FloatVal & x )
related

Arithmetic operator.

Definition at line 221 of file val.hpp.

◆ operator<() [1/3]

bool operator< ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 225 of file val.hpp.

◆ operator<() [2/3]

bool operator< ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 233 of file val.hpp.

◆ operator<() [3/3]

bool operator< ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 333 of file val.hpp.

◆ operator<=() [1/3]

bool operator<= ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 242 of file val.hpp.

◆ operator<=() [2/3]

bool operator<= ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 250 of file val.hpp.

◆ operator<=() [3/3]

bool operator<= ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 337 of file val.hpp.

◆ operator>() [1/3]

bool operator> ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 260 of file val.hpp.

◆ operator>() [2/3]

bool operator> ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 268 of file val.hpp.

◆ operator>() [3/3]

bool operator> ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 342 of file val.hpp.

◆ operator>=() [1/3]

bool operator>= ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 277 of file val.hpp.

◆ operator>=() [2/3]

bool operator>= ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 285 of file val.hpp.

◆ operator>=() [3/3]

bool operator>= ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 346 of file val.hpp.

◆ operator==() [1/3]

bool operator== ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 294 of file val.hpp.

◆ operator==() [2/3]

bool operator== ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 302 of file val.hpp.

◆ operator==() [3/3]

bool operator== ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 350 of file val.hpp.

◆ operator!=() [1/3]

bool operator!= ( const FloatVal & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 317 of file val.hpp.

◆ operator!=() [2/3]

bool operator!= ( const FloatVal & x,
const FloatNum & y )
related

Comparison operator.

Definition at line 325 of file val.hpp.

◆ operator!=() [3/3]

bool operator!= ( const FloatNum & x,
const FloatVal & y )
related

Comparison operator.

Definition at line 354 of file val.hpp.

◆ operator<<()

template<class Char, class Traits>
std::basic_ostream< Char, Traits > & operator<< ( std::basic_ostream< Char, Traits > & os,
const FloatVal & x )
related

Print float value x.

Definition at line 354 of file val.hpp.

◆ abs()

FloatVal abs ( const FloatVal & x)
related

Return absolute value of x.

Definition at line 365 of file val.hpp.

◆ sqrt()

FloatVal sqrt ( const FloatVal & x)
related

Return square root of x.

Definition at line 369 of file val.hpp.

◆ sqr()

FloatVal sqr ( const FloatVal & x)
related

Return square of x.

Definition at line 373 of file val.hpp.

◆ pow()

FloatVal pow ( const FloatVal & x,
int n )
related

Return n -th power of x.

Definition at line 377 of file val.hpp.

◆ nroot()

FloatVal nroot ( const FloatVal & x,
int n )
related

Return n -th root of x.

Definition at line 381 of file val.hpp.

◆ max() [1/3]

FloatVal max ( const FloatVal & x,
const FloatVal & y )
related

Return maximum of x and y.

Definition at line 386 of file val.hpp.

◆ max() [2/3]

FloatVal max ( const FloatVal & x,
const FloatNum & y )
related

Return maximum of x and y.

Definition at line 390 of file val.hpp.

◆ max() [3/3]

FloatVal max ( const FloatNum & x,
const FloatVal & y )
related

Return maximum of x and y.

Definition at line 394 of file val.hpp.

◆ min() [1/3]

FloatVal min ( const FloatVal & x,
const FloatVal & y )
related

Return minimum of x and y.

Definition at line 398 of file val.hpp.

◆ min() [2/3]

FloatVal min ( const FloatVal & x,
const FloatNum & y )
related

Return minimum of x and y.

Definition at line 402 of file val.hpp.

◆ min() [3/3]

FloatVal min ( const FloatNum & x,
const FloatVal & y )
related

Return minimum of x and y.

Definition at line 406 of file val.hpp.

◆ exp()

FloatVal exp ( const FloatVal & x)
related

Return exponential of x.

Definition at line 413 of file val.hpp.

◆ log()

FloatVal log ( const FloatVal & x)
related

Return logarithm of x.

Definition at line 417 of file val.hpp.

◆ fmod() [1/3]

FloatVal fmod ( const FloatVal & x,
const FloatVal & y )
related

Trigonometric function argument reduction.

Definition at line 422 of file val.hpp.

◆ fmod() [2/3]

FloatVal fmod ( const FloatVal & x,
const FloatNum & y )
related

Trigonometric function argument reduction.

Definition at line 426 of file val.hpp.

◆ fmod() [3/3]

FloatVal fmod ( const FloatNum & x,
const FloatVal & y )
related

Trigonometric function argument reduction.

Definition at line 430 of file val.hpp.

◆ sin()

FloatVal sin ( const FloatVal & x)
related

Return sine of x.

Definition at line 435 of file val.hpp.

◆ cos()

FloatVal cos ( const FloatVal & x)
related

Return cosine of x.

Definition at line 439 of file val.hpp.

◆ tan()

FloatVal tan ( const FloatVal & x)
related

Return tangent of x.

Definition at line 443 of file val.hpp.

◆ asin()

FloatVal asin ( const FloatVal & x)
related

Return arcsine of x.

Definition at line 447 of file val.hpp.

◆ acos()

FloatVal acos ( const FloatVal & x)
related

Return arccosine of x.

Definition at line 451 of file val.hpp.

◆ atan()

FloatVal atan ( const FloatVal & x)
related

Return arctangent of x.

Definition at line 455 of file val.hpp.

◆ sinh()

FloatVal sinh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 460 of file val.hpp.

◆ cosh()

FloatVal cosh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 464 of file val.hpp.

◆ tanh()

FloatVal tanh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 468 of file val.hpp.

◆ asinh()

FloatVal asinh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 472 of file val.hpp.

◆ acosh()

FloatVal acosh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 476 of file val.hpp.

◆ atanh()

FloatVal atanh ( const FloatVal & x)
related

Return hyperbolic of x.

Definition at line 480 of file val.hpp.

Member Data Documentation

◆ x

FloatValImpType Gecode::FloatVal::x
protected

Implementation of float value.

Definition at line 425 of file float.hh.


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