Constant view containing lower and upper cardinality bounds.
More...
#include <view.hpp>
|
static const bool | propagate = false |
| This view does not require propagation.
|
|
| CardConst (void) |
| Default constructor.
|
void | init (Space &home, int min, int max, int c) |
| Initialize with min, max, and cardinality c.
|
|
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.
|
|
Set counter to 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.
|
Constant view containing lower and upper cardinality bounds.
Definition at line 65 of file view.hpp.
◆ CardConst()
Gecode::Int::GCC::CardConst::CardConst |
( |
void | | ) |
|
|
inline |
Default constructor.
Definition at line 215 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 217 of file view.hpp.
◆ min()
int Gecode::Int::GCC::CardConst::min |
( |
void | | ) |
const |
|
inline |
Return minimum of domain.
Definition at line 222 of file view.hpp.
◆ max()
int Gecode::Int::GCC::CardConst::max |
( |
void | | ) |
const |
|
inline |
Return maximum of domain.
Definition at line 226 of file view.hpp.
◆ card()
int Gecode::Int::GCC::CardConst::card |
( |
void | | ) |
const |
|
inline |
Return cardinality.
Definition at line 230 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 234 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 244 of file view.hpp.
◆ inc()
ModEvent Gecode::Int::GCC::CardConst::inc |
( |
void | | ) |
|
|
inline |
Increment counter.
Definition at line 248 of file view.hpp.
◆ lq()
Restrict domain values to be less or equal than n.
Definition at line 254 of file view.hpp.
◆ gq()
Restrict domain values to be greater or equal than n.
Definition at line 260 of file view.hpp.
◆ eq()
Restrict domain values to be equal to n.
Definition at line 266 of file view.hpp.
◆ subscribe()
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 273 of file view.hpp.
◆ cancel()
Cancel subscription of propagator p with propagation condition pc to view.
Definition at line 275 of file view.hpp.
◆ reschedule()
Schedule propagator p.
Definition at line 277 of file view.hpp.
◆ update()
void Gecode::Int::GCC::CardConst::update |
( |
Space & | home, |
|
|
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 77 of file view.hpp.
The documentation for this class was generated from the following file: