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