Generated on Sat Aug 25 2012 15:53:05 for Gecode by doxygen 1.7.5
arithmetic.hh File Reference

(Revision: 10021)

Go to the source code of this file.

Classes

class  Gecode::Int::Arithmetic::AbsBnd
 Bounds consistent absolute value propagator. More...
class  Gecode::Int::Arithmetic::AbsDom
 Domain consistent absolute value propagator. More...
class  Gecode::Int::Arithmetic::MaxBnd
 Bounds consistent ternary maximum propagator. More...
class  Gecode::Int::Arithmetic::NaryMaxBnd
 Bounds consistent n-ary maximum propagator. More...
class  Gecode::Int::Arithmetic::MaxDom
 Domain consistent ternary maximum propagator. More...
class  Gecode::Int::Arithmetic::NaryMaxDom
 Domain consistent n-ary maximum propagator. More...
class  Gecode::Int::Arithmetic::SqrPlusBnd
 Bounds consistent positive square propagator. More...
class  Gecode::Int::Arithmetic::SqrBnd
 Bounds consistent square propagator. More...
class  Gecode::Int::Arithmetic::SqrPlusDom
 Domain consistent positive square propagator. More...
class  Gecode::Int::Arithmetic::SqrDom
 Domain consistent square propagator. More...
class  Gecode::Int::Arithmetic::SqrtBnd
 Bounds consistent square root propagator. More...
class  Gecode::Int::Arithmetic::SqrtDom
 Domain consistent square root propagator. More...
class  Gecode::Int::Arithmetic::MultZeroOne
 Bounds or domain consistent propagator for $x_0\times x_1=x_0$. More...
class  Gecode::Int::Arithmetic::MultPlusBnd
 Bounds consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultBnd
 Bounds consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultPlusDom
 Domain consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultDom
 Domain consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::DivPlusBnd
 Bounds consistent positive division propagator. More...
class  Gecode::Int::Arithmetic::DivBnd
 Bounds consistent division propagator. More...
class  Gecode::Int::Arithmetic::DivMod
 Integer division/modulo propagator. More...

Namespaces

namespace  Gecode::Int::Arithmetic
 

Numerical (arithmetic) propagators.


namespace  Gecode
 

Gecode toplevel namespace


namespace  Gecode::Int
 

Finite domain integers.