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
|
Construct empty projector set.
Definition at line 25 of file projector-set.icc. |
Member Function Documentation
|
Used for copying.
Definition at line 28 of file projector-set.icc. |
|
Add projector p to the set.
Definition at line 27 of file projector-set.cc. |
|
Returns the arity of the projector set.
Definition at line 35 of file projector-set.icc. |
|
Returns the scope of the projector set.
Definition at line 38 of file projector-set.cc. |
|
Propagate the set.
Definition at line 39 of file projector-set.icc. |
|
Check for subsumption or failure.
Definition at line 50 of file projector-set.cc. |
|
Return number of projectors int the set.
Definition at line 59 of file projector-set.icc. |
|
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)