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.
Definition at line 68 of file view.hpp.
