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>&
525namespace Gecode {
namespace Float {
Generic domain change information to be supplied to advisors.
static ModEvent me(const ModEventDelta &med)
Float variable implementation.
Float view for float variables.
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.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatVal domain(void) const
Return domain.
FloatNum min(void) const
Return minimum of 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)
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.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVal val(void) const
Return assigned value.
MinusView(void)
Default constructor.
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.
FloatVal scale(void) const
Return scale factor of scale view.
void update(Space &home, ScaleView &y)
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum min(void) const
Return minimum of domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
bool operator<(const ScaleView &y) const
Whether this view comes before view y (arbitray order)
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
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)
ScaleView(void)
Default constructor.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVal val(void) const
Return assigned value.
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.
static ModEvent me(const ModEventDelta &med)
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
RelTest
Result of testing relation.
@ RT_TRUE
Relation does hold.
@ RT_FALSE
Relation does not hold.
@ RT_MAYBE
Relation may hold or not.
bool operator!=(const MinusView &x, const MinusView &y)
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
bool operator==(const MinusView &x, const MinusView &y)
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const FloatView &x)
RelTest
Result of testing relation.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x
int ModEvent
Type for modification events.