Public Member Functions |
IntView | base (void) const |
| Return used IntView (cannot be used)
|
Static Public Attributes |
static const bool | propagate = false |
| This view does not require propagation.
|
Initialization |
| CardConst (void) |
| Default constructor.
|
void | init (Space &home, int min, int max, int c) |
| Initialize with min, max, and cardinality c.
|
Value access |
int | min (void) const |
| Return minimum of domain.
|
int | max (void) const |
| Return maximum of domain.
|
int | card (void) const |
| Return cardinality.
|
int | counter (void) const |
| Return the number of times the value occurs.
|
Domain tests |
Test whether view is assigned
|
bool | assigned (void) const |
Domain update by value |
Set counter to n
|
void | counter (int n) |
| Increment counter.
|
ModEvent | inc (void) |
| Increment counter.
|
ModEvent | lq (Space &home, int 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 | eq (Space &home, int n) |
| Restrict domain values to be equal to n.
|
Dependencies |
Subscribe propagator p with propagation condition pc to view
|
void | subscribe (Space &home, Propagator &p, PropCond pc, bool process=true) |
| Cancel subscription of 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.
|
Cloning |
Update this view to be a clone of view x
|
void | update (Space &home, bool share, CardConst &x) |
Constant view containing lower and upper cardinality bounds.