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);
FloatNum min(void) const
Return minimum of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatVal val(void) const
Return assigned value.
FloatNum min(void) const
Return minimum of domain.
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.
int ModEvent
Type for modification events.
bool zero_in(void) const
Test whether 0 is contained in domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
FloatView(void)
Default constructor.
int n
Number of negative literals for node type.
FloatNum med(void) const
Return median of domain (closest representation)
bool in(FloatNum n) const
Test whether n is contained in domain.
Float variable implementation.
bool in(FloatNum n) const
Test whether n is contained in domain.
Base-class for variable implementation views.
FloatVal val(void) const
Return value of domain (only if assigned)
FloatVal domain(void) const
Return domain.
ModEvent eq(Space &home, FloatNum n)
Restrict domain values to be equal to n.
Generic domain change information to be supplied to advisors.
FloatVal domain(void) const
Return domain.
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum max(void) const
Return maximum of domain.
ModEvent gq(Space &home, FloatNum n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
FloatNum max(void) const
Return maximum of domain.
VarImpType * x
Pointer to variable implementation.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent lq(Space &home, FloatNum n)
Restrict domain values to be less or equal than n.