38 namespace Gecode {
namespace Float {
143 template<
class Char,
class Traits>
144 std::basic_ostream<Char,Traits>&
145 operator <<(std::basic_ostream<Char,Traits>& os,
const FloatView&
x);
243 template<
class Char,
class Traits>
244 std::basic_ostream<Char,Traits>&
245 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView&
x);
356 template<
class Char,
class Traits>
357 std::basic_ostream<Char,Traits>&
358 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
469 template<
class Char,
class Traits>
470 std::basic_ostream<Char,Traits>&
471 operator <<(std::basic_ostream<Char,Traits>& os,
const ScaleView&
x);
483 namespace Gecode {
namespace Float {
RelTest rtest_lq(View x, View y)
Test whether view x is less or equal than view y.
void update(Space &home, VarImpView< FloatVar > &y)
Update this view to be a clone of view y.
FloatVal val(void) const
Return assigned value.
FloatNum med(void) const
Return median of domain (closest representation)
RelTest
Result of testing relation.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int ModEvent
Type for modification events.
Base-class for derived views.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
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.
Float variable implementation.
FloatNum min(void) const
Return minimum of domain.
Base-class for variable implementation views.
Float view for float variables.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar y
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.
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 size(void) const
Return size of domain (distance between maximum and minimum)
Gecode toplevel namespace
Relation may hold or not.
VarImpType * x
Pointer to variable implementation.
int ModEventDelta
Modification event deltas.
FloatVal domain(void) const
Return domain.
double FloatNum
Floating point number base type.
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.