dom.cpp File Reference

#include <gecode/float/rel.hh>

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
void	Gecode::dom (Home home, FloatVar x, FloatVal n)
	Propagates .
void	Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n)
	Propagates for all $0\leq i<\|x\|$ .
void	Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum m)
	Propagates $l\leq x\leq u$ .
void	Gecode::dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u)
	Propagates $l\leq x_i\leq u$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Home home, FloatVar x, FloatVal n, Reify r)
	Post domain consistent propagator for $(x=n) \equiv r$ .
void	Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r)
	Post domain consistent propagator for $(l\leq x \leq u) \equiv r$ .
void	Gecode::dom (Home home, FloatVar x, FloatVar d)
	Constrain domain of x according to domain of d.
void	Gecode::dom (Home home, const FloatVarArgs &x, const FloatVarArgs &d)
	Constrain domain of according to domain of for all $0\leq i<\|x\|$ .

Namespaces