36namespace Gecode {
namespace Float {
112 return x.lq(home,
n-
c);
116 return x.lq(home,
n-
c);
120 return x.lq(home,
n-
c);
125 return x.gq(home,
n-
c);
129 return x.gq(home,
n-
c);
133 return x.gq(home,
n-
c);
138 return x.eq(home,
n-
c);
142 return x.eq(home,
n-
c);
146 return x.eq(home,
n-
c);
185 return ((
base() <
y.base())
196 return (
x.base() ==
y.base()) && (
x.offset() ==
y.offset());
int n
Number of negative literals for node type.
Generic domain change information to be supplied to advisors.
Base-class for derived views.
FloatView base(void) const
static ModEvent me(const ModEventDelta &med)
void update(Space &home, DerivedView< View > &y)
Update this view to be a clone of view y.
FloatNum med(void) const
Return median of float value.
friend FloatVal max(const FloatVal &x, const FloatVal &y)
friend FloatVal min(const FloatVal &x, const FloatVal &y)
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Float view for float variables.
bool operator<(const OffsetView &y) const
Whether this view comes before view y (arbitray order)
FloatVal domain(void) const
Return domain.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatVal val(void) const
Return assigned value.
void update(Space &home, OffsetView &y)
OffsetView(void)
Default constructor.
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)
FloatNum max(void) const
Return maximum of domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatNum min(void) const
Return minimum of domain.
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum offset(void) const
Return offset.
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
bool operator!=(const MinusView &x, const MinusView &y)
bool operator==(const MinusView &x, const MinusView &y)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
int ModEvent
Type for modification events.