Gecode::Int::GCC::CardView Class Reference
Cardinality integer view.
More...
#include <view.hpp>
List of all members.
Static Public Attributes |
static const bool | propagate = true |
| This view does require propagation.
|
Protected Attributes |
int | _card |
| Cardinality.
|
int | _counter |
| Counter.
|
Initialization |
|
| CardView (void) |
| Default constructor.
|
void | init (const IntView &y, int c) |
| Initialize with integer view y and value c.
|
void | init (Space &home, const IntSet &s, int c) |
| Initialize for set s and cardinality c.
|
Value access |
|
int | min (void) const |
| Return minimum of domain.
|
int | max (void) const |
| Return maximum of domain.
|
unsigned int | size (void) const |
| Return size (cardinality) of domain.
|
int | counter (void) const |
| Return the number of times the value occurs.
|
int | card (void) const |
| Return cardinality.
|
Domain update by value |
Set the counter to the number of times value n occurs
|
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.
|
Domain update by iterator |
|
template<class I > |
ModEvent | narrow_v (Space &home, I &i, bool depends=true) |
| Replace domain by values described by i.
|
template<class I > |
ModEvent | inter_v (Space &home, I &i, bool depends=true) |
| Intersect domain with values described by i.
|
template<class I > |
ModEvent | minus_v (Space &home, I &i, bool depends=true) |
| Remove from domain the values described by i.
|
Cloning |
Update this view to be a clone of view x
|
void | update (Space &home, CardView &x) |
Detailed Description
Cardinality integer view.
Definition at line 140 of file view.hpp.
Constructor & Destructor Documentation
Gecode::Int::GCC::CardView::CardView |
( |
void |
|
) |
[inline] |
Default constructor.
Definition at line 297 of file view.hpp.
Member Function Documentation
void Gecode::Int::GCC::CardView::init |
( |
const IntView & |
y, |
|
|
int |
c | |
|
) |
| | [inline] |
Initialize with integer view y and value c.
Definition at line 299 of file view.hpp.
void Gecode::Int::GCC::CardView::init |
( |
Space & |
home, |
|
|
const IntSet & |
s, |
|
|
int |
c | |
|
) |
| | [inline] |
Initialize for set s and cardinality c.
Definition at line 303 of file view.hpp.
int Gecode::Int::GCC::CardView::min |
( |
void |
|
) |
const [inline] |
Return minimum of domain.
Definition at line 316 of file view.hpp.
int Gecode::Int::GCC::CardView::max |
( |
void |
|
) |
const [inline] |
Return maximum of domain.
Definition at line 320 of file view.hpp.
unsigned int Gecode::Int::GCC::CardView::size |
( |
void |
|
) |
const [inline] |
Return size (cardinality) of domain.
Definition at line 324 of file view.hpp.
int Gecode::Int::GCC::CardView::counter |
( |
void |
|
) |
const [inline] |
Return the number of times the value occurs.
Definition at line 308 of file view.hpp.
int Gecode::Int::GCC::CardView::card |
( |
void |
|
) |
const [inline] |
Return cardinality.
Definition at line 312 of file view.hpp.
void Gecode::Int::GCC::CardView::counter |
( |
int |
n |
) |
[inline] |
Increment counter.
Definition at line 329 of file view.hpp.
ModEvent Gecode::Int::GCC::CardView::inc |
( |
void |
|
) |
[inline] |
Increment counter.
Definition at line 333 of file view.hpp.
ModEvent Gecode::Int::GCC::CardView::lq |
( |
Space & |
home, |
|
|
int |
n | |
|
) |
| | [inline] |
Restrict domain values to be less or equal than n.
Definition at line 339 of file view.hpp.
ModEvent Gecode::Int::GCC::CardView::gq |
( |
Space & |
home, |
|
|
int |
n | |
|
) |
| | [inline] |
Restrict domain values to be greater or equal than n.
Definition at line 343 of file view.hpp.
ModEvent Gecode::Int::GCC::CardView::eq |
( |
Space & |
home, |
|
|
int |
n | |
|
) |
| | [inline] |
Restrict domain values to be equal to n.
Definition at line 347 of file view.hpp.
template<class I >
ModEvent Gecode::Int::GCC::CardView::narrow_v |
( |
Space & |
home, |
|
|
I & |
i, |
|
|
bool |
depends = true | |
|
) |
| | [inline] |
Replace domain by values described by i.
Definition at line 353 of file view.hpp.
template<class I >
ModEvent Gecode::Int::GCC::CardView::inter_v |
( |
Space & |
home, |
|
|
I & |
i, |
|
|
bool |
depends = true | |
|
) |
| | [inline] |
Intersect domain with values described by i.
Definition at line 358 of file view.hpp.
template<class I >
ModEvent Gecode::Int::GCC::CardView::minus_v |
( |
Space & |
home, |
|
|
I & |
i, |
|
|
bool |
depends = true | |
|
) |
| | [inline] |
Remove from domain the values described by i.
Definition at line 363 of file view.hpp.
void Gecode::Int::GCC::CardView::update |
( |
Space & |
home, |
|
|
CardView & |
x | |
|
) |
| | [inline] |
Member Data Documentation
This view does require propagation.
Definition at line 149 of file view.hpp.
The documentation for this class was generated from the following file: