Growing sets of integers. More...

#include <var-imp.hpp>

Constructors and initialization
	GLBndSet (void)
	Default constructor. Creates an empty set.
	GLBndSet (Space &)
	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.

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.

Constructor & Destructor Documentation

Gecode::Set::GLBndSet::GLBndSet ( void ) [inline]

Default constructor. Creates an empty set.

Definition at line 261 of file integerset.hpp.

Gecode::Set::GLBndSet::GLBndSet ( Space & ) [inline]

Default constructor. Creates an empty set.

Definition at line 264 of file integerset.hpp.

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

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

Definition at line 267 of file integerset.hpp.

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

Initialize as the set represented by s.

Definition at line 271 of file integerset.hpp.

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

Initialize as the empty set.

Definition at line 275 of file integerset.hpp.

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 283 of file integerset.hpp.

template<class I >

bool Gecode::Set::GLBndSet::includeI	(	Space &	home,
		I &	i
	)

Include the set represented by i in this set.

Definition at line 300 of file integerset.hpp.

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