Minus float view. More...
#include <view.hpp>
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 MinusView &x) |
Print float minus view. | |
Constructors and initialization | |
MinusView (void) | |
Default constructor. | |
MinusView (const FloatView &y) | |
Initialize with float view 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. |
Minus float view.
A minus float view for an float view
provides operations such that
behaves as
.
Gecode::Float::MinusView::MinusView | ( | void | ) | [inline] |
Gecode::Float::MinusView::MinusView | ( | const FloatView & | y | ) | [inline, explicit] |
FloatVal Gecode::Float::MinusView::domain | ( | void | ) | const [inline] |
FloatNum Gecode::Float::MinusView::min | ( | void | ) | const [inline] |
FloatNum Gecode::Float::MinusView::max | ( | void | ) | const [inline] |
FloatNum Gecode::Float::MinusView::med | ( | void | ) | const [inline] |
FloatVal Gecode::Float::MinusView::val | ( | void | ) | const [inline] |
Return assigned value.
Throws an exception of type Float::ValOfUnassignedVar if variable is not yet assigned.
FloatNum Gecode::Float::MinusView::size | ( | void | ) | const [inline] |
bool Gecode::Float::MinusView::zero_in | ( | void | ) | const [inline] |
bool Gecode::Float::MinusView::in | ( | FloatNum | n | ) | const [inline] |
bool Gecode::Float::MinusView::in | ( | const FloatVal & | n | ) | const [inline] |
ModEvent Gecode::Float::MinusView::lq | ( | Space & | home, |
int | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::lq | ( | Space & | home, |
FloatNum | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::lq | ( | Space & | home, |
FloatVal | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::gq | ( | Space & | home, |
int | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::gq | ( | Space & | home, |
FloatNum | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::gq | ( | Space & | home, |
FloatVal | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::eq | ( | Space & | home, |
int | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::eq | ( | Space & | home, |
FloatNum | n | ||
) | [inline] |
ModEvent Gecode::Float::MinusView::eq | ( | Space & | home, |
const FloatVal & | n | ||
) | [inline] |
FloatNum Gecode::Float::MinusView::min | ( | const Delta & | d | ) | const [inline] |
FloatNum Gecode::Float::MinusView::max | ( | const Delta & | d | ) | const [inline] |
ModEventDelta Gecode::Float::MinusView::med | ( | ModEvent | me | ) | [inline, static] |
Translate modification event me to modification event delta for view.
Reimplemented from Gecode::DerivedView< FloatView >.
std::basic_ostream< Char, Traits > & operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const MinusView & | x | ||
) | [related] |