Gecode::ProjectorSet Class Reference
[Projector constraints]
#include <projectors.hh>
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] |
Member Function Documentation
void Gecode::ProjectorSet::update | ( | Space * | home, | |
bool | share, | |||
ProjectorSet & | p | |||
) | [inline] |
void Gecode::ProjectorSet::add | ( | const Projector & | p | ) |
int Gecode::ProjectorSet::arity | ( | void | ) | const [inline] |
void Gecode::ProjectorSet::scope | ( | Support::DynamicArray< int > & | ) | const |
template<bool negated>
ExecStatus Gecode::ProjectorSet::propagate | ( | Space * | home, | |
ViewArray< Set::SetView > & | x | |||
) | [inline] |
ExecStatus Gecode::ProjectorSet::check | ( | Space * | home, | |
ViewArray< Set::SetView > & | x | |||
) |
int Gecode::ProjectorSet::size | ( | void | ) | const [inline] |
const Projector & Gecode::ProjectorSet::operator[] | ( | int | i | ) | const [inline] |
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)