103 return x.gq(home,-n);
107 return x.gq(home,-n);
111 return x.gq(home,-n);
116 return x.lq(home,-n);
120 return x.lq(home,-n);
124 return x.lq(home,-n);
129 return x.eq(home,-n);
133 return x.eq(home,-n);
137 return x.eq(home,-n);
166 return x.base() ==
y.base();
Generic domain change information to be supplied to advisors.
static ModEvent me(const ModEventDelta &med)
Float view for float variables.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatVal domain(void) const
Return 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.
FloatNum max(void) const
Return maximum of domain.
FloatNum med(void) const
Return median of domain (closest representation)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
bool zero_in(void) const
Test whether 0 is contained in domain.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVal val(void) const
Return assigned value.
MinusView(void)
Default constructor.
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.