OffsetView float view. More...
#include <view.hpp>
Protected Attributes | |
FloatNum | c |
Offset. More... | |
![]() | |
FloatView | x |
View from which this view is derived. More... | |
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 OffsetView &x) |
Print float offset view. More... | |
Constructors and initialization | |
OffsetView (void) | |
Default constructor. More... | |
OffsetView (const FloatView &y, FloatNum c) | |
Initialize with float view y and an offset c. More... | |
Value access | |
FloatNum | offset (void) const |
Return offset. More... | |
void | offset (FloatNum n) |
Change offset to be n. More... | |
FloatVal | domain (void) const |
Return domain. More... | |
FloatNum | min (void) const |
Return minimum of domain. More... | |
FloatNum | max (void) const |
Return maximum of domain. More... | |
FloatNum | med (void) const |
Return median of domain (closest representation) More... | |
FloatVal | val (void) const |
Return assigned value. More... | |
FloatNum | size (void) const |
Return size of domain (distance between maximum and minimum) More... | |
Domain tests | |
bool | zero_in (void) const |
Test whether 0 is contained in domain. More... | |
bool | in (FloatNum n) const |
Test whether n is contained in domain. More... | |
bool | in (const FloatVal &n) const |
Test whether n is contained in domain. More... | |
Domain update by value | |
ModEvent | lq (Space &home, int n) |
Restrict domain values to be less or equal than n. More... | |
ModEvent | lq (Space &home, FloatNum n) |
Restrict domain values to be less or equal than n. More... | |
ModEvent | lq (Space &home, FloatVal n) |
Restrict domain values to be less or equal than n. More... | |
ModEvent | gq (Space &home, int n) |
Restrict domain values to be greater or equal than n. More... | |
ModEvent | gq (Space &home, FloatNum n) |
Restrict domain values to be greater or equal than n. More... | |
ModEvent | gq (Space &home, FloatVal n) |
Restrict domain values to be greater or equal than n. More... | |
ModEvent | eq (Space &home, int n) |
Restrict domain values to be equal to n. More... | |
ModEvent | eq (Space &home, FloatNum n) |
Restrict domain values to be equal to n. More... | |
ModEvent | eq (Space &home, const FloatVal &n) |
Restrict domain values to be equal to n. More... | |
Delta information for advisors | |
FloatNum | min (const Delta &d) const |
Return minimum value just pruned. More... | |
FloatNum | max (const Delta &d) const |
Return maximum value just pruned. More... | |
View-dependent propagator support | |
static ModEventDelta | med (ModEvent me) |
Translate modification event me to modification event delta for view. More... | |
Cloning | |
void | update (Space &home, bool share, OffsetView &y) |
Additional Inherited Members | |
![]() | |
typedef FloatView::VarImpType | VarImpType |
The variable implementation type belonging to the View. More... | |
typedef FloatView::VarType | VarType |
The variable type belonging to the View. More... | |
![]() | |
VarImpType * | varimp (void) const |
Return variable implementation of view. More... | |
FloatView | base (void) const |
Return view from which this view is derived. More... | |
unsigned int | degree (void) const |
Return degree (number of subscribed propagators) More... | |
double | afc (const Space &home) const |
Return accumulated failure count. More... | |
bool | assigned (void) const |
Test whether view is assigned. More... | |
void | subscribe (Space &home, Propagator &p, PropCond pc, bool schedule=true) |
Subscribe propagator p with propagation condition pc to view. More... | |
void | subscribe (Space &home, Advisor &a) |
Subscribe advisor a to view. More... | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p with propagation condition pc to view. More... | |
void | cancel (Space &home, Advisor &a) |
Cancel subscription of advisor a. More... | |
void | update (Space &home, bool share, DerivedView< FloatView > &y) |
Update this view to be a clone of view y. More... | |
![]() | |
static bool | varderived (void) |
Return whether this view is derived from a VarImpView. More... | |
static void | schedule (Space &home, Propagator &p, ModEvent me) |
Schedule propagator p with modification event me. More... | |
static ModEvent | me (const ModEventDelta &med) |
Return modification event for view type in med. More... | |
static ModEventDelta | med (ModEvent) |
Translate modification event me to modification event delta for view. More... | |
static ModEvent | modevent (const Delta &d) |
Return modification event. More... | |
![]() | |
DerivedView (void) | |
Default constructor. More... | |
DerivedView (const FloatView &y) | |
Initialize with view y. More... | |
OffsetView float view.
An offset float view for an float view
and an float
provides operations such that
behaves as
.
|
inline |
Default constructor.
Definition at line 47 of file offset.hpp.
Initialize with float view y and an offset c.
Definition at line 49 of file offset.hpp.
|
inline |
Return offset.
Definition at line 58 of file offset.hpp.
|
inline |
Change offset to be n.
Definition at line 62 of file offset.hpp.
|
inline |
Return domain.
Definition at line 66 of file offset.hpp.
|
inline |
Return minimum of domain.
Definition at line 70 of file offset.hpp.
|
inline |
Return maximum of domain.
Definition at line 74 of file offset.hpp.
|
inline |
Return median of domain (closest representation)
Definition at line 78 of file offset.hpp.
|
inline |
Return assigned value.
Throws an exception of type Float::ValOfUnassignedVar if variable is not yet assigned.
Definition at line 82 of file offset.hpp.
|
inline |
Return size of domain (distance between maximum and minimum)
Definition at line 87 of file offset.hpp.
|
inline |
Test whether 0 is contained in domain.
Definition at line 97 of file offset.hpp.
|
inline |
Test whether n is contained in domain.
Definition at line 101 of file offset.hpp.
|
inline |
Test whether n is contained in domain.
Definition at line 105 of file offset.hpp.
Restrict domain values to be less or equal than n.
Definition at line 115 of file offset.hpp.
Restrict domain values to be less or equal than n.
Definition at line 119 of file offset.hpp.
Restrict domain values to be less or equal than n.
Definition at line 123 of file offset.hpp.
Restrict domain values to be greater or equal than n.
Definition at line 128 of file offset.hpp.
Restrict domain values to be greater or equal than n.
Definition at line 132 of file offset.hpp.
Restrict domain values to be greater or equal than n.
Definition at line 136 of file offset.hpp.
Restrict domain values to be equal to n.
Definition at line 141 of file offset.hpp.
Restrict domain values to be equal to n.
Definition at line 145 of file offset.hpp.
Restrict domain values to be equal to n.
Definition at line 149 of file offset.hpp.
Return minimum value just pruned.
Definition at line 159 of file offset.hpp.
Return maximum value just pruned.
Definition at line 163 of file offset.hpp.
|
inlinestatic |
Translate modification event me to modification event delta for view.
Definition at line 168 of file offset.hpp.
|
inline |
Definition at line 178 of file offset.hpp.
|
related |