Related Functions |
(Note that these are not member functions.)
|
| template<class Char , class Traits > |
std::basic_ostream< Char,
Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const FloatView &x) |
| | Print float variable view.
|
Constructors and initialization |
|
| | FloatView (void) |
| | Default constructor.
|
| | FloatView (const FloatVar &y) |
| | Initialize from float variable y.
|
| | FloatView (FloatVarImp *y) |
| | Initialize from float variable y.
|
Value access |
|
| FloatVal | domain (void) const |
| | Return domain.
|
| FloatNum | min (void) const |
| | Return minimum of domain.
|
| FloatNum | max (void) const |
| | Return maximum of domain.
|
| FloatNum | med (void) const |
| | Return median of domain (closest representation).
|
| FloatVal | val (void) const |
| | Return assigned value.
|
| FloatNum | size (void) const |
| | Return size of domain (distance between maximum and minimum).
|
Domain tests |
|
| bool | zero_in (void) const |
| | Test whether 0 is contained in domain.
|
| bool | in (FloatNum n) const |
| | Test whether n is contained in domain.
|
| bool | in (const FloatVal &n) const |
| | Test whether n is contained in domain.
|
Domain update by value |
|
| ModEvent | lq (Space &home, int n) |
| | Restrict domain values to be less or equal than n.
|
| ModEvent | lq (Space &home, FloatNum n) |
| | Restrict domain values to be less or equal than n.
|
| ModEvent | lq (Space &home, FloatVal 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.
|
| ModEvent | gq (Space &home, FloatNum n) |
| | Restrict domain values to be greater or equal than n.
|
| ModEvent | gq (Space &home, FloatVal n) |
| | Restrict domain values to be greater or equal than n.
|
| ModEvent | eq (Space &home, int n) |
| | Restrict domain values to be equal to n.
|
| ModEvent | eq (Space &home, FloatNum n) |
| | Restrict domain values to be equal to n.
|
| ModEvent | eq (Space &home, const FloatVal &n) |
| | Restrict domain values to be equal to n.
|
Delta information for advisors |
|
| FloatNum | min (const Delta &d) const |
| | Return minimum value just pruned.
|
| FloatNum | max (const Delta &d) const |
| | Return maximum value just pruned.
|
View-dependent propagator support |
|
| static ModEventDelta | med (ModEvent me) |
| | Translate modification event me to modification event delta for view.
|
