Gecode::Int::GCC::CardConst Class Reference

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).

## 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 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 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.
void | cancel (Space &home, Propagator &p, PropCond pc)
| Cancel subscription of propagator p with propagation condition pc to view.
void | reschedule (Space &home, Propagator &p, PropCond pc)
| Schedule propagator p.

## Cloning

Update this view to be a clone of view x
void | update (Space &home, CardConst &x)

## Detailed Description

Constant view containing lower and upper cardinality bounds.

Definition at line 65 of file view.hpp.

## Constructor & Destructor Documentation

## CardConst()

Gecode::Int::GCC::CardConst::CardConst | ( | void |  | ) |

inline

Default constructor.

Definition at line 215 of file view.hpp.

## Member Function Documentation

## 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

Definition at line 238 of file view.hpp.

## 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()

ModEvent Gecode::Int::GCC::CardConst::lq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be less or equal than n.

Definition at line 254 of file view.hpp.

## gq()

ModEvent Gecode::Int::GCC::CardConst::gq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be greater or equal than n.

Definition at line 260 of file view.hpp.

## eq()

ModEvent Gecode::Int::GCC::CardConst::eq | ( | Space & | home,
|  | int | n )

inline

Restrict domain values to be equal to n.

Definition at line 266 of file view.hpp.

## subscribe()

void Gecode::Int::GCC::CardConst::subscribe | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc,
|  | bool | process = true )

inline

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 273 of file view.hpp.

## cancel()

void Gecode::Int::GCC::CardConst::cancel | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc )

inline

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 275 of file view.hpp.

## reschedule()

void Gecode::Int::GCC::CardConst::reschedule | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc )

inline

Schedule propagator p.

Definition at line 277 of file view.hpp.

## update()

void Gecode::Int::GCC::CardConst::update | ( | Space & | home,
|  | CardConst & | x )

inline

Definition at line 280 of file view.hpp.

## base()

IntView Gecode::Int::GCC::CardConst::base | ( | void |  | ) | const

inline

Return used IntView (cannot be used).

Definition at line 285 of file view.hpp.

## Member Data Documentation

## 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:

- gecode/int/gcc/view.hpp