40 namespace Gecode {
namespace Float {
113 return x.lq(home,c.
max());
118 return x.lq(home,c.
max());
123 return x.lq(home,c.
max());
129 return x.gq(home,c.
min());
134 return x.gq(home,c.
min());
139 return x.gq(home,c.
min());
FloatVal scale(void) const
Return scale factor of scale view.
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
FloatNum med(void) const
Return median of domain (closest representation)
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatVal domain(void) const
Return domain.
int ModEvent
Type for modification events.
Base-class for derived views.
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
void update(Space &home, bool share, DerivedView< View > &y)
Update this view to be a clone of view y.
ScaleView(void)
Default constructor.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
Float view for float variables.
FloatVal val(void) const
Return assigned value.
FloatNum min(void) const
Return minimum of domain.
Generic domain change information to be supplied to advisors.
void update(Space &home, bool share, ScaleView &y)
FloatNum max(void) const
Return maximum of domain.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatView x
View from which this view is derived.
bool zero_in(void) const
Test whether 0 is contained in domain.
Gecode toplevel namespace
friend FloatVal max(const FloatVal &x, const FloatVal &y)
int ModEventDelta
Modification event deltas.
friend FloatVal min(const FloatVal &x, const FloatVal &y)
double FloatNum
Floating point number base type.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.