Gecode::Set::GLBndSet Class Reference

Detailed Description

Growing sets of integers.

These sets provide operations for monotonically growing the set. Growing sets are used for implementing the greatest lower bound of set variables.

Definition at line 283 of file var-imp.icc.


Constructors and initialization
	GLBndSet (Space *=NULL)
	Default constructor. Creates an empty set.
	GLBndSet (Space *home, int i, int j)
	Initialize as the set $\{i,\dots,j\}$ .
	GLBndSet (Space *home, const IntSet &s)
	Initialize as the set represented by s.
void	init (Space *home)
	Initialize as the empty set.
Update operations
bool	include (Space *home, int i, int j, SetDelta &d)
	Include the set $\{i,\dots,j\}$ in this set.
template<class I>
bool	includeI (Space *home, I &i)
	Include the set represented by i in this set.

Gecode::Set::GLBndSet::GLBndSet ( Space * = NULL ) [inline]

Default constructor. Creates an empty set.

Definition at line 322 of file integerset.icc.

Gecode::Set::GLBndSet::GLBndSet	(	Space *	home,
		int	i,
		int	j
	)			`[inline]`

Initialize as the set $\{i,\dots,j\}$ .

Definition at line 325 of file integerset.icc.

Gecode::Set::GLBndSet::GLBndSet	(	Space *	home,
		const IntSet &	s
	)			`[inline]`

Initialize as the set represented by s.

Definition at line 329 of file integerset.icc.

void Gecode::Set::GLBndSet::init ( Space * home ) [inline]

Initialize as the empty set.

Definition at line 333 of file integerset.icc.

bool Gecode::Set::GLBndSet::include	(	Space *	home,
		int	i,
		int	j,
		SetDelta &	d
	)			`[inline]`

Include the set $\{i,\dots,j\}$ in this set.

Definition at line 341 of file integerset.icc.

template<class I>

bool Gecode::Set::GLBndSet::includeI	(	Space *	home,
		I &	i
	)			`[inline]`

Include the set represented by i in this set.

Definition at line 358 of file integerset.icc.

The documentation for this class was generated from the following files: