40 namespace Gecode {
namespace Float {
107 return x.gq(home,-n);
111 return x.gq(home,-n);
115 return x.gq(home,-n);
120 return x.lq(home,-n);
124 return x.lq(home,-n);
128 return x.lq(home,-n);
133 return x.eq(home,-n);
137 return x.eq(home,-n);
141 return x.eq(home,-n);
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum min(void) const
Return minimum of domain.
int ModEvent
Type for modification events.
Base-class for derived views.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int n
Number of negative literals for node type.
bool in(FloatNum n) const
Test whether n is contained in domain.
MinusView(void)
Default constructor.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatVal val(void) const
Return assigned value.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Float view for float variables.
FloatVal domain(void) const
Return domain.
Post propagator for SetVar SetOpType SetVar y
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
Generic domain change information to be supplied to advisors.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatView x
View from which this view is derived.
Gecode toplevel namespace
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum max(void) const
Return maximum of domain.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.