Constant view containing lower and upper cardinality bounds. More...
#include <view.hpp>
Public Member Functions | |
IntView | base (void) const |
Return used IntView (cannot be used) More... | |
Static Public Attributes | |
static const bool | propagate = false |
This view does not require propagation. More... | |
Initialization | |
CardConst (void) | |
Default constructor. More... | |
void | init (Space &home, int min, int max, int c) |
Initialize with min, max, and cardinality c. More... | |
Value access | |
int | min (void) const |
Return minimum of domain. More... | |
int | max (void) const |
Return maximum of domain. More... | |
int | card (void) const |
Return cardinality. More... | |
int | counter (void) const |
Return the number of times the value occurs. More... | |
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. More... | |
ModEvent | inc (void) |
Increment counter. More... | |
ModEvent | lq (Space &home, int n) |
Restrict domain values to be less or equal than n. More... | |
ModEvent | gq (Space &home, int n) |
Restrict domain values to be greater or equal than n. More... | |
ModEvent | eq (Space &home, int n) |
Restrict domain values to be equal to n. More... | |
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. More... | |
void | cancel (Space &home, Propagator &p, PropCond pc) |
Cancel subscription of propagator p with propagation condition pc to view. More... | |
void | reschedule (Space &home, Propagator &p, PropCond pc) |
Schedule propagator p. More... | |
Cloning | |
void | update (Space &home, bool share, CardConst &x) |
Constant view containing lower and upper cardinality bounds.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
static |