Generated on Tue May 22 09:40:39 2018 for Gecode by doxygen 1.6.3

# Domain constraints [Using float variables and constraints]

## Functions

void Gecode::dom (Home home, FloatVar x, FloatVal n)
Propagates .
void Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n)
Propagates for all .
void Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum m)
Propagates .
void Gecode::dom (Home home, const FloatVarArgs &x, FloatNum l, FloatNum u)
Propagates for all .
void Gecode::dom (Home home, FloatVar x, FloatVal n, Reify r)
Post domain consistent propagator for .
void Gecode::dom (Home home, FloatVar x, FloatNum l, FloatNum u, Reify r)
Post domain consistent propagator for .
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 .

## Function Documentation

 void Gecode::dom ( Home home, FloatVar x, FloatVal n )

Propagates .

 void Gecode::dom ( Home home, const FloatVarArgs & x, FloatVal n )

Propagates for all .

 void Gecode::dom ( Home home, FloatVar x, FloatNum min, FloatNum max )

Propagates .

 void Gecode::dom ( Home home, const FloatVarArgs & x, FloatNum min, FloatNum max )

Propagates for all .

 void Gecode::dom ( Home home, FloatVar x, FloatVal n, Reify r )

Post domain consistent propagator for .

 void Gecode::dom ( Home home, FloatVar x, FloatNum min, FloatNum max, Reify r )

Post domain consistent propagator for .

 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 .