Protected Attributes |
FloatVal | a |
| Scale factor.
|
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 ScaleView &x) |
| Print scale view.
|
Constructors and initialization |
|
| ScaleView (void) |
| Default constructor.
|
| ScaleView (FloatVal b, const FloatView &y) |
| Initialize as .
|
Value access |
|
FloatVal | domain (void) const |
| Return domain.
|
FloatVal | scale (void) const |
| Return scale factor of scale view.
|
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.
|
Cloning |
|
void | update (Space &home, ScaleView &y) |
Ordering |
|
bool | operator< (const ScaleView &y) const |
| Whether this view comes before view y (arbitray order).
|
View-dependent propagator support |
|
static ModEventDelta | med (ModEvent me) |
| Translate modification event me to modification event delta for view.
|
View comparison |
|
bool | operator== (const ScaleView &x, const ScaleView &y) |
| Test whether views x and y are the same.
|
bool | operator!= (const ScaleView &x, const ScaleView &y) |
| Test whether views x and y are not the same.
|
Scale float view.