Generated on Wed Nov 5 2014 05:18:33 for Gecode by doxygen 1.7.6.1
arithmetic.hh File Reference

(Revision: 13993)

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::SqrOps
 Operations for square and square-root propagators. More...
class  Gecode::Int::Arithmetic::PowOps
 Operations for power and nroot propagators. More...
class  Gecode::Int::Arithmetic::PowPlusBnd< VA, VB, Ops >
 Bounds consistent positive power propagator. More...
class  Gecode::Int::Arithmetic::PowBnd< Ops >
 Bounds consistent power propagator. More...
class  Gecode::Int::Arithmetic::PowPlusDom< VA, VB, Ops >
 Domain consistent positive power propagator. More...
class  Gecode::Int::Arithmetic::PowDom< Ops >
 Domain consistent power propagator. More...
class  Gecode::Int::Arithmetic::NrootPlusBnd< Ops, minus >
 Positive bounds consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootBnd< Ops >
 Bounds consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootPlusDom< Ops, minus >
 Domain consistent n-th root propagator. More...
class  Gecode::Int::Arithmetic::NrootDom< Ops >
 Domain consistent n-th 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< VA, VB, VC >
 Bounds consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultBnd
 Bounds consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultPlusDom< VA, VB, VC >
 Domain consistent positive multiplication propagator. More...
class  Gecode::Int::Arithmetic::MultDom
 Domain consistent multiplication propagator. More...
class  Gecode::Int::Arithmetic::DivPlusBnd< 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.