Generated on Wed Nov 1 15:05:14 2006 for Gecode by doxygen 1.4.5
Gecode::Projector

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 SetExprCode & getGlb (void) const
 Return the set expression code for the glb.
const SetExprCode & getLub (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: