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());
190 return ((
base() <
y.base())
191 || ((
base() ==
y.base()) && (
scale() <
y.scale())));
201 return (
x.base() ==
y.base()) && (
x.scale() ==
y.scale());
Generic domain change information to be supplied to advisors.
FloatView base(void) const
static ModEvent me(const ModEventDelta &med)
void update(Space &home, DerivedView< View > &y)
Update this view to be a clone of view y.
friend FloatVal max(const FloatVal &x, const FloatVal &y)
friend FloatVal min(const FloatVal &x, const FloatVal &y)
Float view for float variables.
FloatVal scale(void) const
Return scale factor of scale view.
void update(Space &home, ScaleView &y)
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum min(void) const
Return minimum of domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
bool operator<(const ScaleView &y) const
Whether this view comes before view y (arbitray order)
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
FloatNum med(void) const
Return median of domain (closest representation)
ScaleView(void)
Default constructor.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVal val(void) const
Return assigned value.
FloatVal domain(void) const
Return domain.
FloatNum max(void) const
Return maximum of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
bool operator!=(const MinusView &x, const MinusView &y)
bool operator==(const MinusView &x, const MinusView &y)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
int ModEvent
Type for modification events.