main page modules namespaces classes files
Gecode home

search for 

Gecode::ProjectorSet Class Reference
[Projector constraints]

#include <projectors.hh>

List of all members.

---

Detailed Description

Group of finite set projector specifications.

Definition at line 196 of file projectors.hh.

Public Member Functions
	ProjectorSet (void)
	Construct empty projector set.
void	update (Space *home, bool share, ProjectorSet &p)
	Used for copying.
void	add (const Projector &p)
	Add projector p to the set.
int	arity (void) const
	Returns the arity of the projector set.
void	scope (Support::DynamicArray< int > &) const
	Returns the scope of the projector set.
template<bool negated>
ExecStatus	propagate (Space *home, ViewArray< Set::SetView > &x)
	Propagate the set.
ExecStatus	check (Space *home, ViewArray< Set::SetView > &x)
	Check for subsumption or failure.
int	size (void) const
	Return number of projectors int the set.
const Projector &	operator[] (int i) const
	Return projector i from the set.

---

Constructor & Destructor Documentation

Gecode::ProjectorSet::ProjectorSet (  void   )  [inline]

Construct empty projector set. Definition at line 25 of file projector-set.icc.

---

Member Function Documentation

void Gecode::ProjectorSet::update (  Space *  home, bool  share, ProjectorSet &  p )  [inline]

Used for copying. Definition at line 28 of file projector-set.icc.

void Gecode::ProjectorSet::add (  const Projector &  p  )

Add projector p to the set. Definition at line 27 of file projector-set.cc.

int Gecode::ProjectorSet::arity (  void   )  const [inline]

Returns the arity of the projector set. Definition at line 35 of file projector-set.icc.

void Gecode::ProjectorSet::scope (  Support::DynamicArray< int > &   )  const

Returns the scope of the projector set. Definition at line 38 of file projector-set.cc.

template<bool negated> ExecStatus Gecode::ProjectorSet::propagate (  Space *  home, ViewArray< Set::SetView > &  x )  [inline]

Propagate the set. Definition at line 39 of file projector-set.icc.

ExecStatus Gecode::ProjectorSet::check (  Space *  home, ViewArray< Set::SetView > &  x )

Check for subsumption or failure. Definition at line 50 of file projector-set.cc.

int Gecode::ProjectorSet::size (  void   )  const [inline]

Return number of projectors int the set. Definition at line 59 of file projector-set.icc.

const Projector & Gecode::ProjectorSet::operator[] (  int  i  )  const [inline]

Return projector i from the set. Definition at line 62 of file projector-set.icc.

---

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

• gecode/set/projectors.hh (Revision: 3573)
• gecode/set/projectors/projector-set.cc (Revision: 3544)
• gecode/set/projectors/projector-set.icc (Revision: 3573)