40 namespace Gecode {
namespace Float {
110 return x->lq(home,
n);
114 return x->lq(home,
n);
118 return x->lq(home,
n);
123 return x->gq(home,
n);
127 return x->gq(home,
n);
131 return x->gq(home,
n);
136 return x->eq(home,
n);
140 return x->eq(home,
n);
144 return x->eq(home,
n);
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatVal val(void) const
Return assigned value.
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum min(void) const
Return minimum of domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int ModEvent
Type for modification events.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatView(void)
Default constructor.
bool in(FloatNum n) const
Test whether n is contained in domain.
int n
Number of negative literals for node type.
Float variable implementation.
FloatNum min(void) const
Return minimum of domain.
Base-class for variable implementation views.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
FloatNum max(void) const
Return maximum of domain.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatNum max(void) const
Return maximum of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Gecode toplevel namespace
VarImpType * x
Pointer to variable implementation.
int ModEventDelta
Modification event deltas.
FloatVal domain(void) const
Return domain.
double FloatNum
Floating point number base type.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
bool zero_in(void) const
Test whether 0 is contained in domain.