34 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.
Post propagator for SetVar SetOpType SetVar y
void update(Space &home, FloatTraceView x)
Update during cloning.
Generic domain change information to be supplied to advisors.
Post propagator for SetVar x
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Gecode toplevel namespace
double FloatNum
Floating point number base type.