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

Gecode::Set::Projection::ReNaryProjection Class Reference

#include <propagator.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

Reified Nary projection propagator.

Definition at line 61 of file propagator.hh.

Public Member Functions

virtual PropCost cost (void) const
 Cost function.
virtual size_t dispose (Space *home)
 Delete propagator.
virtual Actorcopy (Space *home, bool)
 Copy propagator during cloning.
virtual ExecStatus propagate (Space *home)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Space *home, ViewArray< SetView > &x, Gecode::Int::BoolView b, ProjectorSet &ps)

Protected Member Functions

 ReNaryProjection (Space *home, bool share, ReNaryProjection &p)
 Constructor for cloning p.
 ReNaryProjection (Space *home, ViewArray< SetView > &x, Gecode::Int::BoolView, ProjectorSet &ps)
 Constructor for creation.

Protected Attributes

ViewArray< SetViewx
 Array of views.
Gecode::Int::BoolView b
 Boolean control view.
ProjectorSet ps
 The projector set to propagate.


Constructor & Destructor Documentation

Gecode::Set::Projection::ReNaryProjection::ReNaryProjection ( Space home,
bool  share,
ReNaryProjection p 
) [inline, protected]

Constructor for cloning p.

Definition at line 35 of file re-nary.icc.

Gecode::Set::Projection::ReNaryProjection::ReNaryProjection ( Space home,
ViewArray< SetView > &  x,
Gecode::Int::BoolView  ,
ProjectorSet ps 
) [inline, protected]

Constructor for creation.

Definition at line 26 of file re-nary.icc.


Member Function Documentation

PropCost Gecode::Set::Projection::ReNaryProjection::cost ( void   )  const [inline, virtual]

Cost function.

Implements Gecode::Propagator.

Definition at line 42 of file re-nary.icc.

size_t Gecode::Set::Projection::ReNaryProjection::dispose ( Space home  )  [virtual]

Delete propagator.

Reimplemented from Gecode::Actor.

Definition at line 27 of file re-nary.cc.

Actor * Gecode::Set::Projection::ReNaryProjection::copy ( Space home,
bool   
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 47 of file re-nary.cc.

ExecStatus Gecode::Set::Projection::ReNaryProjection::propagate ( Space home  )  [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 52 of file re-nary.cc.

ExecStatus Gecode::Set::Projection::ReNaryProjection::post ( Space home,
ViewArray< SetView > &  x,
Gecode::Int::BoolView  b,
ProjectorSet ps 
) [static]

Definition at line 38 of file re-nary.cc.


Member Data Documentation

Array of views.

Definition at line 64 of file propagator.hh.

Boolean control view.

Definition at line 66 of file propagator.hh.

The projector set to propagate.

Definition at line 68 of file propagator.hh.


The documentation for this class was generated from the following files: