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.
FloatNum size(void) const
Return size of domain (distance between maximum and minimum)
FloatVal val(void) const
Return assigned value.
RelTest
Result of testing relation.
FloatNum min(void) const
Return minimum of domain.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int ModEvent
Type for modification events.
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.
FloatView(void)
Default constructor.
int n
Number of negative literals for node type.
Float variable implementation.
bool in(FloatNum n) const
Test whether n is contained in domain.
Base-class for variable implementation views.
void update(Space &home, bool share, VarImpView< FloatVar > &y)
Update this view to be a clone of view y.
Float view for float variables.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
FloatVal domain(void) const
Return domain.
RelTest rtest_eq(View x, View y)
Test whether views x and y are equal.
Generic domain change information to be supplied to advisors.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
FloatNum med(void) const
Return median of domain (closest representation)
RelTest rtest_le(View x, View y)
Test whether view x is less than view y.
FloatNum max(void) const
Return maximum of domain.
Gecode toplevel namespace
Relation may hold or not.
VarImpType * x
Pointer to variable implementation.
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.