Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
arithmetic.hh File Reference

(Revision: 14362)

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::ArgMax< VA, VB, tiebreak >
 Argument 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

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