Constant view containing lower and upper cardinality bounds.
More...
#include <view.hpp>
|
static const bool | propagate = false |
| This view does not require propagation. More...
|
|
|
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...
|
|
Constant view containing lower and upper cardinality bounds.
Definition at line 68 of file view.hpp.
◆ CardConst()
Gecode::Int::GCC::CardConst::CardConst |
( |
void |
| ) |
|
|
inline |
Default constructor.
Definition at line 216 of file view.hpp.
◆ init()
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.
◆ min()
int Gecode::Int::GCC::CardConst::min |
( |
void |
| ) |
const |
|
inline |
Return minimum of domain.
Definition at line 223 of file view.hpp.
◆ max()
int Gecode::Int::GCC::CardConst::max |
( |
void |
| ) |
const |
|
inline |
Return maximum of domain.
Definition at line 227 of file view.hpp.
◆ card()
int Gecode::Int::GCC::CardConst::card |
( |
void |
| ) |
const |
|
inline |
Return cardinality.
Definition at line 231 of file view.hpp.
◆ counter() [1/2]
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.
◆ assigned()
bool Gecode::Int::GCC::CardConst::assigned |
( |
void |
| ) |
const |
|
inline |
◆ counter() [2/2]
void Gecode::Int::GCC::CardConst::counter |
( |
int |
n | ) |
|
|
inline |
Increment counter.
Definition at line 245 of file view.hpp.
◆ inc()
ModEvent Gecode::Int::GCC::CardConst::inc |
( |
void |
| ) |
|
|
inline |
Increment counter.
Definition at line 249 of file view.hpp.
◆ lq()
Restrict domain values to be less or equal than n.
Definition at line 255 of file view.hpp.
◆ gq()
Restrict domain values to be greater or equal than n.
Definition at line 261 of file view.hpp.
◆ eq()
Restrict domain values to be equal to n.
Definition at line 267 of file view.hpp.
◆ subscribe()
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 274 of file view.hpp.
◆ cancel()
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 276 of file view.hpp.
◆ update()
void Gecode::Int::GCC::CardConst::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
CardConst & |
x |
|
) |
| |
|
inline |
◆ base()
IntView Gecode::Int::GCC::CardConst::base |
( |
void |
| ) |
const |
|
inline |
◆ propagate
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: