Constant view containing lower and upper cardinality bounds.
More...
#include <view.hpp>
List of all members.
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 \a 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 \a p with propagation condition \a 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 \a x |
void | update (Space &home, bool share, CardConst &x) |
Detailed Description
Constant view containing lower and upper cardinality bounds.
Definition at line 68 of file view.hpp.
Constructor & Destructor Documentation
Gecode::Int::GCC::CardConst::CardConst |
( |
void |
| ) |
|
|
inline |
Default constructor.
Definition at line 216 of file view.hpp.
Member Function Documentation
void Gecode::Int::GCC::CardConst::init |
( |
Space & |
home, |
|
|
int |
min, |
|
|
int |
max, |
|
|
int |
c |
|
) |
| |
|
inline |
Initialize with min, max, and cardinality c.
Definition at line 218 of file view.hpp.
int Gecode::Int::GCC::CardConst::min |
( |
void |
| ) |
const |
|
inline |
Return minimum of domain.
Definition at line 223 of file view.hpp.
int Gecode::Int::GCC::CardConst::max |
( |
void |
| ) |
const |
|
inline |
Return maximum of domain.
Definition at line 227 of file view.hpp.
int Gecode::Int::GCC::CardConst::card |
( |
void |
| ) |
const |
|
inline |
Return cardinality.
Definition at line 231 of file view.hpp.
int Gecode::Int::GCC::CardConst::counter |
( |
void |
| ) |
const |
|
inline |
Return the number of times the value occurs.
Definition at line 235 of file view.hpp.
bool Gecode::Int::GCC::CardConst::assigned |
( |
void |
| ) |
const |
|
inline |
void Gecode::Int::GCC::CardConst::counter |
( |
int |
n | ) |
|
|
inline |
Increment counter.
Definition at line 245 of file view.hpp.
ModEvent Gecode::Int::GCC::CardConst::inc |
( |
void |
| ) |
|
|
inline |
Increment counter.
Definition at line 249 of file view.hpp.
Restrict domain values to be less or equal than n.
Definition at line 255 of file view.hpp.
Restrict domain values to be greater or equal than n.
Definition at line 261 of file view.hpp.
Restrict domain values to be equal to n.
Definition at line 267 of file view.hpp.
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 274 of file view.hpp.
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 276 of file view.hpp.
void Gecode::Int::GCC::CardConst::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
CardConst & |
x |
|
) |
| |
|
inline |
IntView Gecode::Int::GCC::CardConst::base |
( |
void |
| ) |
const |
|
inline |
Member Data Documentation
const bool Gecode::Int::GCC::CardConst::propagate = false |
|
static |
This view does not require propagation.
Definition at line 80 of file view.hpp.
The documentation for this class was generated from the following file: