.
Card integer view.
|
Value access |
void | operator= (const IntView &x) |
void | operator= (const Gecode::Int::GCC::CardView &x) |
int | min (void) const |
| Return minimum of domain.
|
int | max (void) const |
| Return maximum of domain.
|
int | med (void) const |
| Return median of domain.
|
int | val (void) const |
| Return assigned value (only if assigned).
|
IntView | intview (void) |
| Return used IntView.
|
unsigned int | size (void) const |
| Return size (cardinality) of domain.
|
unsigned int | width (void) const |
| Return width of domain (distance between maximum and minimum).
|
unsigned int | regret_min (void) const |
| Return regret of domain minimum (distance to next larger value).
|
unsigned int | regret_max (void) const |
| Return regret of domain maximum (distance to next smaller value).
|
Domain tests |
bool | range (void) const |
| Test whether domain is a range.
|
bool | assigned (void) const |
| Test whether view is assigned.
|
bool | in (int n) const |
| Test whether n is contained in domain.
|
bool | in (double 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, double n) |
| Restrict domain values to be less or equal than n.
|
ModEvent | le (Space *home, int n) |
| Restrict domain values to be less than n.
|
ModEvent | le (Space *home, double n) |
| Restrict domain values to be less than n.
|
ModEvent | gq (Space *home, int n) |
| Restrict domain values to be greater or equal than n.
|
ModEvent | gq (Space *home, double n) |
| Restrict domain values to be greater or equal than n.
|
ModEvent | gr (Space *home, int n) |
| Restrict domain values to be greater than n.
|
ModEvent | gr (Space *home, double n) |
| Restrict domain values to be greater than n.
|
ModEvent | nq (Space *home, int n) |
| Restrict domain values to be different from n.
|
ModEvent | nq (Space *home, double n) |
| Restrict domain values to be different from n.
|
ModEvent | eq (Space *home, int n) |
| Restrict domain values to be equal to n.
|
ModEvent | eq (Space *home, double n) |
| Restrict domain values to be equal to n.
|
Domain update by range iterator |
template<class I> |
ModEvent | inter (Space *home, I &i) |
| Intersect domain with range sequence described by i.
|
template<class I> |
ModEvent | minus (Space *home, I &i) |
| Remove from domain the range sequence described by i.
|
Dependencies |
void | subscribe (Space *home, Propagator *p, PropCond pc, bool process=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.
|
Cloning |
void | update (Space *home, bool share, CardView &x) |
| Update this view to be a clone of view x.
|
View comparison |
bool | operator== (const CardView &x) const |
| Test whether this view is the same as x.
|
bool | operator!= (const CardView &x) const |
| Test whether this view is not the same as x.
|
bool | operator< (const CardView &x) const |
| Test whether this view is smaller than x (arbitrary order).
|
bool | operator> (const CardView &x) const |
| Test whether this view is larger than x (arbitrary order).
|
Propagator modification events |
static ModEvent | pme (const Propagator *p) |
| Return modification event of propagator p for view.
|
static PropModEvent | pme (ModEvent me) |
| Translate modification event me to propagator modification event for view.
|
Public Member Functions |
| CardView (void) |
| CardView (const IntView &x, int c) |
| Initialize with integer view x and value c.
|
void | init (const IntView &x, int c) |
| Initialize with integer view x and value c.
|
void | init (Space *home, int mi, int ma, int c) |
int | card (void) const |
| Return value.
|
void | card (int ca) |
ModEvent | inc (void) |
| Increment counter.
|
void | counter (int) |
| Set the counter to the number of times value c occurs.
|
int | counter (void) |
| Return the number of times value c occurs.
|
Protected Attributes |
int | c |
| Card.
|
int | count |
| Counter.
|