Generated on Wed Jan 4 17:49:20 2006 for Gecode by doxygen 1.4.6

Gecode::Int::Arithmetic Namespace Reference


Detailed Description

Numerical (arithmetic) propagators.


Classes

class  Abs
 Bounds-consistent absolute value propagator. More...
class  Max
 Bounds-consistent ternary maximum propagator. More...
class  NaryMax
 Bounds-consistent n-ary maximum propagator. More...
class  SquarePlus
 Bounds-consistent positive square propagator. More...
class  Square
 Bounds-consistent square propagator. More...
class  MultPlus
 Bounds-consistent positive multiplication propagator. More...
class  Mult
 Bounds-consistent multiplication propagator. More...

Functions

double m (int a, int b)
 Multiply a and b as double.
int f_d (int x, int y)
 Compute $\lfloor x/y\rfloor$.
int c_d (int x, int y)
 Compute $\lceil x/y\rceil$.
template<class View>
bool p (const View &x)
 Test whether x is postive.
template<class View>
bool n (const View &x)
 Test whether x is negative.
template<class View>
bool x (const View &x)
 Test whether x is neither positive nor negative.


Function Documentation

double Gecode::Int::Arithmetic::m int  a,
int  b
[inline]
 

Multiply a and b as double.

Definition at line 33 of file mult.icc.

int Gecode::Int::Arithmetic::f_d int  x,
int  y
[inline]
 

Compute $\lfloor x/y\rfloor$.

Definition at line 39 of file mult.icc.

int Gecode::Int::Arithmetic::c_d int  x,
int  y
[inline]
 

Compute $\lceil x/y\rceil$.

Definition at line 46 of file mult.icc.

template<class View>
bool Gecode::Int::Arithmetic::p const View &  x  )  [inline]
 

Test whether x is postive.

Definition at line 54 of file mult.icc.

template<class View>
bool Gecode::Int::Arithmetic::n const View &  x  )  [inline]
 

Test whether x is negative.

Definition at line 60 of file mult.icc.

template<class View>
bool Gecode::Int::Arithmetic::x const View &  x  )  [inline]
 

Test whether x is neither positive nor negative.

Definition at line 66 of file mult.icc.