dom.cpp File Reference

#include <gecode/float/rel.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace

Functions
void	Gecode::dom (Home home, FloatVar x, FloatVal n)
	Propagates \(x=n\).
void	Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n)
	Propagates \( x_i=n\) 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 \( x_i \) according to domain of \( d_i \) for all \(0\leq i<|x|\).