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.
|
