34namespace Gecode {
namespace Float {
Generic domain change information to be supplied to advisors.
static FloatNum slack(FloatView x)
Return slack of x.
FloatTraceView(void)
Default constructor (initializes with no view)
void prune(Space &home, FloatView y, const Delta &d)
Update duplicated view from view y and delta d.
void update(Space &home, FloatTraceView x)
Update during cloning.
Float view for float variables.
double FloatNum
Floating point number base type.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x