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

Constant view containing lower and upper cardinality bounds. More...

#include <view.hpp>

List of all members.

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, 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 218 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 220 of file view.hpp.

int Gecode::Int::GCC::CardConst::min

(

void

)

const [inline]

Return minimum of domain.

Definition at line 225 of file view.hpp.

int Gecode::Int::GCC::CardConst::max

(

void

)

const [inline]

Return maximum of domain.

Definition at line 229 of file view.hpp.

int Gecode::Int::GCC::CardConst::card

(

void

)

const [inline]

Return cardinality.

Definition at line 233 of file view.hpp.

int Gecode::Int::GCC::CardConst::counter

(

void

)

const [inline]

Return the number of times the value occurs.

Definition at line 237 of file view.hpp.

bool Gecode::Int::GCC::CardConst::assigned

(

void

)

const [inline]

Definition at line 241 of file view.hpp.

void Gecode::Int::GCC::CardConst::counter

(

int

n

)

[inline]

Increment counter.

Definition at line 247 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::inc

(

void

)

[inline]

Increment counter.

Definition at line 251 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::lq	(	Space &	home,
		int	n
	)			[inline]

Restrict domain values to be less or equal than n.

Definition at line 257 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::gq	(	Space &	home,
		int	n
	)			[inline]

Restrict domain values to be greater or equal than n.

Definition at line 263 of file view.hpp.

ModEvent Gecode::Int::GCC::CardConst::eq	(	Space &	home,
		int	n
	)			[inline]

Restrict domain values to be equal to n.

Definition at line 269 of file view.hpp.

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 276 of file view.hpp.

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 278 of file view.hpp.

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

Schedule propagator p.

Definition at line 280 of file view.hpp.

void Gecode::Int::GCC::CardConst::update	(	Space &	home,
		bool	share,
		CardConst &	x
	)			[inline]

Definition at line 283 of file view.hpp.

IntView Gecode::Int::GCC::CardConst::base

(

void

)

const [inline]

Return used IntView (cannot be used).

Definition at line 288 of file view.hpp.

---

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:

• gecode/int/gcc/view.hpp (Revision: 15137)