Generated on Sat Nov 11 01:12:19 2006 for Gecode by doxygen 1.5.1

Gecode::Projector Class Reference
[Projector constraints]

#include <projectors.hh>

List of all members.


Detailed Description

Finite set projector specification.

Definition at line 150 of file projectors.hh.

Public Member Functions

 Projector (void)
 Default constructor.
 Projector (SetExpr::var_idx x, const SetExpr &sglb, const SetExpr &slub)
 Construct a projector $(\mathrm{sglb}\subseteq x\subseteq\mathrm{slub})$.
void scope (Support::DynamicArray< int > &) const
 Returns the scope of the projector.
int arity (void) const
 Returns the arity of the projector.
template<bool negated>
ExecStatus propagate (Space *home, ViewArray< Set::SetView > &x)
 Propagate the projector.
ExecStatus check (Space *home, ViewArray< Set::SetView > &x)
 Check for subsumption or failure.
unsigned int glbSize (ViewArray< Set::SetView > &x)
 Compute size of greatest lower bound.
unsigned int lubSize (ViewArray< Set::SetView > &x)
 Compute size of least upper bound.
const SetExprCodegetGlb (void) const
 Return the set expression code for the glb.
const SetExprCodegetLub (void) const
 Return the set expression code for the lub.
SetExpr::var_idx getIdx (void) const
 Return the variable index for this projector.


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 25 of file projector.icc.

Gecode::Projector::Projector ( SetExpr::var_idx  x,
const SetExpr sglb,
const SetExpr slub 
) [inline]

Construct a projector $(\mathrm{sglb}\subseteq x\subseteq\mathrm{slub})$.

Definition at line 28 of file projector.icc.


Member Function Documentation

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

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.

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

Propagate the projector.

Definition at line 35 of file projector.icc.

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

Check for subsumption or failure.

Definition at line 72 of file projector.cc.

unsigned int Gecode::Projector::glbSize ( ViewArray< Set::SetView > &  x  )  [inline]

Compute size of greatest lower bound.

Definition at line 57 of file projector.icc.

unsigned int Gecode::Projector::lubSize ( ViewArray< Set::SetView > &  x  )  [inline]

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: