34 namespace Gecode {
namespace Float {
Node * x
Pointer to corresponding Boolean expression node.
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.
Post propagator for SetVar SetOpType SetVar y
double FloatNum
Floating point number base type.