Gecode::Set::BndSet Class Reference

Sets of integers. More...

#include <var-imp.hpp>

List of all members.

Public Member Functions
bool	isConsistent (void) const
	Check whether internal invariants hold.
Static Public Attributes
static const int	MAX_OF_EMPTY = Limits::min-1
	Returned by empty sets when asked for their maximum element.
static const int	MIN_OF_EMPTY = Limits::max+1
	Returned by empty sets when asked for their minimum element.
Protected Member Functions
void	fst (RangeList *r)
	Set first range to r.
void	lst (RangeList *r)
	Set last range to r.
RangeList *	fst (void) const
	Return first range.
RangeList *	lst (void) const
	Return last range.
template<class I >
bool	overwrite (Space &home, I &i)
	Overwrite the ranges with those represented by i.
Protected Attributes
unsigned int	_size
	The size of this set.
unsigned int	_card
	The cardinality this set represents.
Constructors and initialization
	BndSet (void)
	Default constructor. Creates an empty set.
	BndSet (Space &home, int i, int j)
	Initialize as the set .
	BndSet (Space &home, const IntSet &s)
	Initialize as the set represented by s.
Memory management
void	dispose (Space &home)
	Free memory used by this set.
Value access
int	min (void) const
	Return smallest element.
int	max (void) const
	Return greatest element.
int	minN (unsigned int n) const
	Return n -th smallest element.
unsigned int	size (void) const
	Return size.
unsigned int	card (void) const
	Return cardinality.
void	card (unsigned int c)
	Set cardinality.
Tests
bool	empty (void) const
	Test whether this set is empty.
bool	in (int i) const
	Test whether i is an element of this set.
Update operations
void	become (Space &home, const BndSet &s)
	Make this set equal to s.
Range list access for iteration
RangeList *	ranges (void) const
	Return range list for iteration.
Cloning
void	update (Space &home, BndSet &x)
	Update this set to be a clone of set x.

---

Detailed Description

Sets of integers.

Definition at line 156 of file var-imp.hpp.

---

Constructor & Destructor Documentation

Gecode::Set::BndSet::BndSet

(

void

)

[inline]

Default constructor. Creates an empty set.

Definition at line 123 of file integerset.hpp.

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

Initialize as the set .

Definition at line 153 of file integerset.hpp.

Gecode::Set::BndSet::BndSet	(	Space &	home,
		const IntSet &	s
	)

Initialize as the set represented by s.

Definition at line 44 of file integerset.cpp.

---

Member Function Documentation

void Gecode::Set::BndSet::fst

(

RangeList *

r

)

[inline, protected]

Set first range to r.

Definition at line 143 of file integerset.hpp.

void Gecode::Set::BndSet::lst

(

RangeList *

r

)

[inline, protected]

Set last range to r.

Definition at line 148 of file integerset.hpp.

RangeList * Gecode::Set::BndSet::fst

(

void

)

const [inline, protected]

Return first range.

Definition at line 127 of file integerset.hpp.

RangeList * Gecode::Set::BndSet::lst

(

void

)

const [inline, protected]

Return last range.

Definition at line 132 of file integerset.hpp.

void Gecode::Set::BndSet::dispose

(

Space &

home

)

[inline]

Free memory used by this set.

Definition at line 137 of file integerset.hpp.

int Gecode::Set::BndSet::min

(

void

)

const [inline]

Return smallest element.

Definition at line 180 of file integerset.hpp.

int Gecode::Set::BndSet::max

(

void

)

const [inline]

Return greatest element.

Definition at line 188 of file integerset.hpp.

int Gecode::Set::BndSet::minN

(

unsigned int

n

)

const [inline]

Return n -th smallest element.

Definition at line 197 of file integerset.hpp.

unsigned int Gecode::Set::BndSet::size

(

void

)

const [inline]

Return size.

Definition at line 170 of file integerset.hpp.

unsigned int Gecode::Set::BndSet::card

(

void

)

const [inline]

Return cardinality.

Definition at line 207 of file integerset.hpp.

void Gecode::Set::BndSet::card

(

unsigned int

c

)

[inline]

Set cardinality.

Definition at line 212 of file integerset.hpp.

bool Gecode::Set::BndSet::empty

(

void

)

const [inline]

Test whether this set is empty.

Definition at line 175 of file integerset.hpp.

bool Gecode::Set::BndSet::in

(

int

i

)

const [inline]

Test whether i is an element of this set.

Definition at line 300 of file integerset.hpp.

void Gecode::Set::BndSet::become	(	Space &	home,
		const BndSet &	s
	)			[inline]

Make this set equal to s.

Definition at line 287 of file integerset.hpp.

RangeList * Gecode::Set::BndSet::ranges

(

void

)

const [inline]

Return range list for iteration.

Definition at line 165 of file integerset.hpp.

template<class I >

bool Gecode::Set::BndSet::overwrite	(	Space &	home,
		I &	i
	)			[inline, protected]

Overwrite the ranges with those represented by i.

Definition at line 246 of file integerset.hpp.

void Gecode::Set::BndSet::update	(	Space &	home,
		BndSet &	x
	)			[inline]

Update this set to be a clone of set x.

Definition at line 217 of file integerset.hpp.

bool Gecode::Set::BndSet::isConsistent

(

void

)

const

Check whether internal invariants hold.

Definition at line 293 of file integerset.cpp.

---

Member Data Documentation

unsigned int Gecode::Set::BndSet::_size [protected]

The size of this set.

Definition at line 162 of file var-imp.hpp.

unsigned int Gecode::Set::BndSet::_card [protected]

The cardinality this set represents.

Definition at line 164 of file var-imp.hpp.

const int Gecode::Set::BndSet::MAX_OF_EMPTY = Limits::min-1 [static]

Returned by empty sets when asked for their maximum element.

Definition at line 177 of file var-imp.hpp.

const int Gecode::Set::BndSet::MIN_OF_EMPTY = Limits::max+1 [static]

Returned by empty sets when asked for their minimum element.

Definition at line 179 of file var-imp.hpp.

---

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

• gecode/set/var-imp.hpp (Revision: 8279)
• gecode/set/var-imp/integerset.cpp (Revision: 8082)
• gecode/set/var-imp/integerset.hpp (Revision: 8279)