38 namespace Gecode {
namespace Float {
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.
Float view for float variables.
void update(Space &home, bool share, FloatTraceView x)
Update during cloning.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Gecode toplevel namespace
double FloatNum
Floating point number base type.