40 namespace Gecode {
namespace Float {
113 return x.lq(home,c.
max());
118 return x.lq(home,c.
max());
123 return x.lq(home,c.
max());
129 return x.gq(home,c.
min());
134 return x.gq(home,c.
min());
139 return x.gq(home,c.
min());
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatVal domain(void) const
Return domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatNum min(void) const
Return minimum of domain.
int ModEvent
Type for modification events.
bool zero_in(void) const
Test whether 0 is contained in domain.
Base-class for derived views.
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
void update(Space &home, DerivedView< View > &y)
Update this view to be a clone of view y.
FloatNum med(void) const
Return median of domain (closest representation)
FloatVal scale(void) const
Return scale factor of scale view.
bool in(FloatNum n) const
Test whether n is contained in domain.
ScaleView(void)
Default constructor.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Float view for float variables.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
FloatVal val(void) const
Return assigned value.
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
friend FloatVal max(const FloatVal &x, const FloatVal &y)
int ModEventDelta
Modification event deltas.
friend FloatVal min(const FloatVal &x, const FloatVal &y)
double FloatNum
Floating point number base type.
FloatNum max(void) const
Return maximum of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
void update(Space &home, ScaleView &y)
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)