|
unsigned int | cardMin (void) const |
| Return minimum cardinality. More...
|
|
unsigned int | cardMax (void) const |
| Return maximum cardinality. More...
|
|
int | lubMin (void) const |
| Return minimum of the least upper bound. More...
|
|
int | lubMax (void) const |
| Return maximum of the least upper bound. More...
|
|
int | lubMinN (unsigned int n) const |
| Return n-th smallest element of the least upper bound. More...
|
|
int | glbMin (void) const |
| Return minimum of the greatest lower bound. More...
|
|
int | glbMax (void) const |
| Return maximum of the greatest lower bound. More...
|
|
unsigned int | glbSize (void) const |
| Return the number of elements in the greatest lower bound. More...
|
|
unsigned int | lubSize (void) const |
| Return the number of elements in the least upper bound. More...
|
|
unsigned int | unknownSize (void) const |
| Return the number of unknown elements. More...
|
|
|
ModEvent | cardMin (Space &home, unsigned int m) |
| Restrict cardinality to be greater than or equal to m. More...
|
|
ModEvent | cardMax (Space &home, unsigned int m) |
| Restrict cardinality to be less than or equal to m. More...
|
|
ModEvent | include (Space &home, int i, int j) |
| Update greatest lower bound to include all elements between and including i and j. More...
|
|
ModEvent | exclude (Space &home, int i, int j) |
| Restrict least upper bound to not contain all elements between and including i and j. More...
|
|
ModEvent | include (Space &home, int i) |
| Update greatest lower bound to contain i. More...
|
|
ModEvent | exclude (Space &home, int i) |
| Restrict least upper bound to not contain i. More...
|
|
ModEvent | intersect (Space &home, int i, int j) |
| Update least upper bound to contain at most all elements between and including i and j. More...
|
|
ModEvent | intersect (Space &home, int i) |
| Update least upper bound to contain at most the element i. More...
|
|
|
typedef SetView::VarImpType | VarImpType |
| The variable implementation type corresponding to the constant view. More...
|
|
typedef SetView::VarType | VarType |
| The variable type corresponding to the constant view. More...
|
|
unsigned int | degree (void) const |
| Return degree (number of subscribed propagators and advisors) More...
|
|
double | afc (const Space &home) const |
| Return accumulated failure count. More...
|
|
VarImpType * | varimp (void) const |
| Return dummy variable implementation of view. 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, ConstView &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 me) |
| Translate modification event me to modification event delta for view. More...
|
|
static ModEvent | modevent (const Delta &d) |
| Return modification event. More...
|
|
Constant view.
A constant set view
for a set
provides operations such that
behaves like
.
Definition at line 190 of file view.hpp.