OffsetView float view. More...
#include <view.hpp>
Protected Attributes | |
FloatNum | c |
Offset. | |
![]() | |
FloatView | x |
View from which this view is derived. | |
Constructors and initialization | |
OffsetView (void) | |
Default constructor. | |
OffsetView (const FloatView &y, FloatNum c) | |
Initialize with float view y and an offset c. | |
Value access | |
FloatNum | offset (void) const |
Return offset. | |
void | offset (FloatNum n) |
Change offset to be n. | |
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. | |
Cloning | |
void | update (Space &home, OffsetView &y) |
Ordering | |
bool | operator< (const OffsetView &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 | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OffsetView &x) |
Print float offset view. | |
bool | operator== (const OffsetView &x, const OffsetView &y) |
Test whether views x and y are the same. | |
bool | operator!= (const OffsetView &x, const OffsetView &y) |
Test whether views x and y are not the same. | |
Additional Inherited Members | |
![]() | |
typedef FloatView::VarImpType | VarImpType |
The variable implementation type belonging to the View. | |
typedef FloatView::VarType | VarType |
The variable type belonging to the View. | |
![]() | |
DerivedView (const FloatView &y) | |
Initialize with view y. | |
VarImpType * | varimp (void) const |
Return variable implementation of view. | |
FloatView | base (void) const |
Return view from which this view is derived. | |
unsigned int | degree (void) const |
Return degree (number of subscribed propagators) | |
double | afc (void) const |
Return accumulated failure count. | |
bool | assigned (void) const |
Test whether view is assigned. | |
void | subscribe (Space &home, Propagator &p, PropCond pc, bool schedule=true) |
Subscribe propagator p with propagation condition pc to view. | |
void | subscribe (Space &home, Advisor &a, bool fail=false) |
Subscribe advisor a to view. | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p with propagation condition pc to view. | |
void | cancel (Space &home, Advisor &a, bool fail=false) |
Cancel subscription of advisor a. | |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Re-schedule propagator p with propagation condition pc. | |
void | update (Space &home, DerivedView< FloatView > &y) |
Update this view to be a clone of view y. | |
bool | operator< (const DerivedView< FloatView > &y) const |
Whether this view comes before view y (arbitray order) | |
![]() | |
static bool | varderived (void) |
Return whether this view is derived from a VarImpView. | |
static void | schedule (Space &home, Propagator &p, ModEvent me) |
Schedule propagator p with modification event me. | |
static ModEvent | me (const ModEventDelta &med) |
Return modification event for view type in med. | |
static ModEventDelta | med (ModEvent) |
Translate modification event me to modification event delta for view. | |
static ModEvent | modevent (const Delta &d) |
Return modification event. | |
![]() | |
DerivedView (void) | |
Default constructor. | |
OffsetView float view.
An offset float view
|
inline |
Default constructor.
Definition at line 43 of file offset.hpp.
Initialize with float view y and an offset c.
Definition at line 45 of file offset.hpp.
|
inline |
Return offset.
Definition at line 54 of file offset.hpp.
|
inline |
Change offset to be n.
Definition at line 58 of file offset.hpp.
|
inline |
Return domain.
Definition at line 62 of file offset.hpp.
|
inline |
Return minimum of domain.
Definition at line 66 of file offset.hpp.
|
inline |
Return maximum of domain.
Definition at line 70 of file offset.hpp.
|
inline |
Return median of domain (closest representation)
Definition at line 74 of file offset.hpp.
|
inline |
Return assigned value.
Throws an exception of type Float::ValOfUnassignedVar if variable is not yet assigned.
Definition at line 78 of file offset.hpp.
|
inline |
Return size of domain (distance between maximum and minimum)
Definition at line 83 of file offset.hpp.
|
inline |
Test whether 0 is contained in domain.
Definition at line 93 of file offset.hpp.
|
inline |
Test whether n 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.
Restrict domain values to be less or equal than n.
Definition at line 111 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 greater or equal than n.
Definition at line 124 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 equal to n.
Definition at line 137 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.
Return minimum value just pruned.
Definition at line 155 of file offset.hpp.
Return maximum value just pruned.
Definition at line 159 of file offset.hpp.
|
inlinestatic |
Translate modification event me to modification event delta for view.
Definition at line 164 of file offset.hpp.
|
inline |
Definition at line 174 of file offset.hpp.
|
inline |
Whether this view comes before view y (arbitray order)
Definition at line 183 of file offset.hpp.
|
related |
|
related |
Test whether views x and y are the same.
Definition at line 195 of file offset.hpp.
|
related |
Test whether views x and y are not the same.
Definition at line 199 of file offset.hpp.