arithmetic.hh File Reference

(Revision: 10021)

#include <gecode/int.hh>
#include <gecode/int/rel.hh>
#include <gecode/int/linear.hh>
#include <gecode/int/arithmetic/abs.hpp>
#include <gecode/int/arithmetic/max.hpp>
#include <gecode/int/arithmetic/sqr.hpp>
#include <gecode/int/arithmetic/sqrt.hpp>
#include <gecode/int/arithmetic/mult.hpp>
#include <gecode/int/arithmetic/divmod.hpp>

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 . 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.