#include <projectors.hh>
List of all members.
Detailed Description
Finite set projector specification.
Definition at line 150 of file projectors.hh.
Constructor & Destructor Documentation
Gecode::Projector::Projector |
( |
void |
|
) |
[inline] |
Member Function Documentation
Returns the scope of the projector.
Definition at line 66 of file projector.cc.
int Gecode::Projector::arity |
( |
void |
|
) |
const |
Returns the arity of the projector.
Definition at line 27 of file projector.cc.
Check for subsumption or failure.
Definition at line 72 of file projector.cc.
Compute size of greatest lower bound.
Definition at line 57 of file projector.icc.
Compute size of least upper bound.
Definition at line 63 of file projector.icc.
const SetExprCode & Gecode::Projector::getGlb |
( |
void |
|
) |
const [inline] |
Return the set expression code for the glb.
Definition at line 69 of file projector.icc.
const SetExprCode & Gecode::Projector::getLub |
( |
void |
|
) |
const [inline] |
Return the set expression code for the lub.
Definition at line 72 of file projector.icc.
int Gecode::Projector::getIdx |
( |
void |
|
) |
const [inline] |
Return the variable index for this projector.
Definition at line 75 of file projector.icc.
The documentation for this class was generated from the following files: