36 namespace Gecode {
namespace Float {
109 return x.lq(home,c.
max());
114 return x.lq(home,c.
max());
119 return x.lq(home,c.
max());
125 return x.gq(home,c.
min());
130 return x.gq(home,c.
min());
135 return x.gq(home,c.
min());
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatView base(void) const
Return view from which this view is derived.
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.
bool operator<(const ScaleView &y) const
Whether this view comes before view y (arbitray order)
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.
bool operator==(const ScaleView &x, const ScaleView &y)
Test whether views x and y are the same.
FloatVal val(void) const
Return assigned value.
bool operator!=(const ScaleView &x, const ScaleView &y)
Test whether views x and y are not the same.
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)