Gecode::ProjectorSet Class Reference
[Projector constraints]

#include <projectors.hh>

Detailed Description

Group of finite set projector specifications.

Definition at line 233 of file projectors.hh.


Public Member Functions
	ProjectorSet (void)
	Construct empty projector set.
	ProjectorSet (int n)
	Construct projector set for n projectors.
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 > &scope, unsigned int size) 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.

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