dom.cpp File Reference
(Revision: 13434)
#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 ![]() | |
void | Gecode::dom (Home home, const FloatVarArgs &x, FloatVal n) |
Propagates ![]() ![]() | |
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 ![]() ![]() | |
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 ![]() ![]() ![]() |