36 namespace Gecode {
namespace Float {
112 return x.lq(home,n-
c);
116 return x.lq(home,n-
c);
120 return x.lq(home,n-
c);
125 return x.gq(home,n-
c);
129 return x.gq(home,n-
c);
133 return x.gq(home,n-
c);
138 return x.eq(home,n-
c);
142 return x.eq(home,n-
c);
146 return x.eq(home,n-
c);
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
void update(Space &home, OffsetView &y)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
FloatVal val(void) const
Return assigned value.
int ModEvent
Type for modification events.
FloatNum min(void) const
Return minimum of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Base-class for derived views.
FloatVal domain(void) const
Return domain.
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.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
OffsetView(void)
Default constructor.
FloatNum offset(void) const
Return offset.
FloatNum med(void) const
Return median of domain (closest representation)
Float view for float variables.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatNum max(void) const
Return maximum of domain.
bool zero_in(void) const
Test whether 0 is contained in domain.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatView x
View from which this view is derived.
bool in(FloatNum n) const
Test whether n is contained in domain.
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.