Go to the documentation of this file.
38 namespace Gecode {
namespace Float {
143 template<
class Char,
class Traits>
144 std::basic_ostream<Char,Traits>&
243 template<
class Char,
class Traits>
244 std::basic_ostream<Char,Traits>&
372 template<
class Char,
class Traits>
373 std::basic_ostream<Char,Traits>&
501 template<
class Char,
class Traits>
502 std::basic_ostream<Char,Traits>&
525 namespace Gecode {
namespace Float {
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatNum max(void) const
Return maximum of domain.
void update(Space &home, OffsetView &y)
FloatVal val(void) const
Return assigned value.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatView(void)
Default constructor.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ScaleView(void)
Default constructor.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
Relation may hold or not.
FloatNum min(void) const
Return minimum of domain.
FloatNum min(void) const
Return minimum of domain.
FloatVal val(void) const
Return assigned value.
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatVal val(void) const
Return assigned value.
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
bool operator<(const OffsetView &y) const
Whether this view comes before view y (arbitray order)
FloatVal domain(void) const
Return domain.
void update(Space &home, ScaleView &y)
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Base-class for derived views.
Gecode toplevel namespace
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
FloatNum min(void) const
Return minimum of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool operator!=(const MinusView &x, const MinusView &y)
OffsetView(void)
Default constructor.
Float view for float variables.
Float variable implementation.
Generic domain change information to be supplied to advisors.
FloatVal domain(void) const
Return domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatNum min(void) const
Return minimum of domain.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatNum max(void) const
Return maximum of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
double FloatNum
Floating point number base type.
FloatNum offset(void) const
Return offset.
RelTest
Result of testing relation.
bool operator==(const MinusView &x, const MinusView &y)
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatNum med(void) const
Return median of domain (closest representation)
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
FloatVal domain(void) const
Return domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
MinusView(void)
Default constructor.
FloatVal val(void) const
Return assigned value.
bool zero_in(void) const
Test whether 0 is contained in domain.
int ModEvent
Type for modification events.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatNum max(void) const
Return maximum of domain.
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.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatNum max(void) const
Return maximum of domain.
FloatNum med(void) const
Return median of domain (closest representation)
bool operator<(const ScaleView &y) const
Whether this view comes before view y (arbitray order)
bool in(FloatNum n) const
Test whether n is contained in domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
RelTest
Result of testing relation.
FloatNum med(void) const
Return median of domain (closest representation)
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatVal domain(void) const
Return domain.
bool zero_in(void) const
Test whether 0 is contained in domain.
int n
Number of negative literals for node type.
int ModEventDelta
Modification event deltas.
FloatVal scale(void) const
Return scale factor of scale view.
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
Archive & operator<<(Archive &e, FloatNumBranch nl)
Base-class for variable implementation views.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.