42 namespace Gecode {
namespace Float {
147 template<
class Char,
class Traits>
148 std::basic_ostream<Char,Traits>&
247 template<
class Char,
class Traits>
248 std::basic_ostream<Char,Traits>&
360 template<
class Char,
class Traits>
361 std::basic_ostream<Char,Traits>&
473 template<
class Char,
class Traits>
474 std::basic_ostream<Char,Traits>&
487 namespace Gecode {
namespace Float {
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
FloatNum med(void) const
Return median of domain (closest representation)
FloatVal val(void) const
Return assigned value.
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum min(void) const
Return minimum of domain.
FloatVal domain(void) const
Return domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
RelTest
Result of testing relation.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
FloatNum min(void) const
Return minimum of domain.
FloatVal val(void) const
Return assigned value.
int ModEvent
Type for modification events.
FloatNum min(void) const
Return minimum of domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
void update(Space &home, bool share, OffsetView &y)
bool zero_in(void) const
Test whether 0 is contained in domain.
Base-class for derived views.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatVal domain(void) const
Return domain.
FloatView(void)
Default constructor.
bool in(FloatNum n) const
Test whether n is contained in domain.
int n
Number of negative literals for node type.
bool in(FloatNum n) const
Test whether n is contained in domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
FloatNum med(void) const
Return median of domain (closest representation)
Float variable implementation.
RelTest
Result of testing relation.
OffsetView(void)
Default constructor.
FloatNum min(void) const
Return minimum of domain.
MinusView(void)
Default constructor.
FloatVal scale(void) const
Return scale factor of scale view.
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)
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
ScaleView(void)
Default constructor.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
Base-class for variable implementation views.
FloatVal val(void) const
Return assigned value.
FloatNum offset(void) const
Return offset.
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)
Float view for float variables.
FloatVal domain(void) const
Return domain.
Post propagator for SetVar SetOpType SetVar y
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
Generic domain change information to be supplied to advisors.
FloatNum max(void) const
Return maximum of domain.
void update(Space &home, bool share, ScaleView &y)
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
FloatNum max(void) const
Return maximum of domain.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatVal val(void) const
Return assigned value.
bool zero_in(void) const
Test whether 0 is contained in domain.
Post propagator for SetVar x
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
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)
Gecode toplevel namespace
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum max(void) const
Return maximum of domain.
Relation may hold or not.
int ModEventDelta
Modification event deltas.
FloatVal domain(void) const
Return domain.
double FloatNum
Floating point number base type.
FloatNum max(void) const
Return maximum of domain.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const FloatView &x)