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.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
Post propagator for SetVar x
Gecode toplevel namespace
double FloatNum
Floating point number base type.