|
| unsigned int | cardMin (void) const |
| | Return minimum cardinality.
|
| unsigned int | cardMax (void) const |
| | Return maximum cardinality.
|
| int | lubMin (void) const |
| | Return minimum of the least upper bound.
|
| int | lubMax (void) const |
| | Return maximum of the least upper bound.
|
| int | lubMinN (unsigned int n) const |
| | Return n-th smallest element of the least upper bound.
|
| int | glbMin (void) const |
| | Return minimum of the greatest lower bound.
|
| int | glbMax (void) const |
| | Return maximum of the greatest lower bound.
|
| unsigned int | glbSize (void) const |
| | Return the number of elements in the greatest lower bound.
|
| unsigned int | lubSize (void) const |
| | Return the number of elements in the least upper bound.
|
| unsigned int | unknownSize (void) const |
| | Return the number of unknown elements.
|
|
| ModEvent | cardMin (Space &home, unsigned int m) |
| | Restrict cardinality to be greater than or equal to m.
|
| ModEvent | cardMax (Space &home, unsigned int m) |
| | Restrict cardinality to be less than or equal to m.
|
| ModEvent | include (Space &home, int i, int j) |
| | Update greatest lower bound to include all elements between and including i and j.
|
| ModEvent | exclude (Space &home, int i, int j) |
| | Restrict least upper bound to not contain all elements between and including i and j.
|
| ModEvent | include (Space &home, int i) |
| | Update greatest lower bound to contain i.
|
| ModEvent | exclude (Space &home, int i) |
| | Restrict least upper bound to not contain i.
|
| ModEvent | intersect (Space &home, int i, int j) |
| | Update least upper bound to contain at most all elements between and including i and j.
|
| ModEvent | intersect (Space &home, int i) |
| | Update least upper bound to contain at most the element i.
|
|
| int | glbMin (const Delta &d) const |
| | Return minimum value just pruned from glb.
|
| int | glbMax (const Delta &d) const |
| | Return maximum value just pruned from glb.
|
| bool | glbAny (const Delta &d) const |
| | Test whether arbitrary values got pruned from glb.
|
| int | lubMin (const Delta &d) const |
| | Return minimum value just pruned from lub.
|
| int | lubMax (const Delta &d) const |
| | Return maximum value just pruned from lub.
|
| bool | lubAny (const Delta &d) const |
| | Test whether arbitrary values got pruned from lub.
|
|
| typedef SetView::VarImpType | VarImpType |
| | The variable implementation type corresponding to the constant view.
|
| typedef SetView::VarType | VarType |
| | The variable type corresponding to the constant view.
|
| unsigned int | degree (void) const |
| | Return degree (number of subscribed propagators and advisors)
|
| double | afc (void) const |
| | Return accumulated failure count.
|
| VarImpType * | varimp (void) const |
| | Return dummy variable implementation of view.
|
| 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 | cancel (Space &home, Propagator &p, PropCond pc) |
| | Cancel subscription of propagator p with propagation condition pc to view.
|
| void | reschedule (Space &home, Propagator &p, PropCond pc) |
| | Re-schedule propagator p with propagation condition pc.
|
| void | update (Space &home, ConstView &y) |
| | Update this view to be a clone of view y.
|
| bool | operator< (const ConstView &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 me) |
| | Translate modification event me to modification event delta for view.
|
| static ModEvent | modevent (const Delta &d) |
| | Return modification event.
|
Constant view for the universe.
A constant set view
for the universe provides operations such that
behaves like the universe.
Definition at line 464 of file view.hpp.