Generated on Thu Mar 7 2013 10:21:46 for Gecode by doxygen 1.8.3.1
arithmetic.hh File Reference

(Revision: 10021)

Go to the source code of this file.

Classes

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

Namespaces

namespace  Gecode::Int::Arithmetic
 Numerical (arithmetic) propagators.
 
namespace  Gecode
 Gecode toplevel namespace
 
namespace  Gecode::Int
 Finite domain integers.