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