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