Generated on Wed Nov 1 15:05:24 2006 for Gecode by doxygen 1.4.5
Gecode::Set::Projection::NaryProjection

Gecode::Set::Projection::NaryProjection< negated > Class Template Reference

#include <propagator.hh>

Inherits Gecode::Propagator.

List of all members.

Detailed Description

template<bool negated>
class Gecode::Set::Projection::NaryProjection< negated >

Nary projection propagator.

Definition at line 33 of file propagator.hh.

Public Member Functions

virtual PropCost cost (void) const
 Cost function.
virtual size_t dispose (Space *home)
 Delete propagator.
virtual Actor * copy (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, ProjectorSet &ps)

Protected Member Functions

 NaryProjection (Space *home, bool share, NaryProjection &p)
 Constructor for cloning p.
 NaryProjection (Space *home, ViewArray< SetView > &x, ProjectorSet &ps)
 Constructor for creation.

Protected Attributes

ViewArray< SetView > x
 Array of views.
Support::SharedArray< PropCond > pc
 Array of PropConds.
ProjectorSet ps
 The projector set to propagate.

Constructor & Destructor Documentation

template<bool negated>
Gecode::Set::Projection::NaryProjection< negated >::NaryProjection (  Space *  home,
bool  share,
NaryProjection< negated > &  p
)  [inline, protected]
 

Constructor for cloning p.

Definition at line 43 of file nary.icc.

template<bool negated>
Gecode::Set::Projection::NaryProjection< negated >::NaryProjection (  Space *  home,
ViewArray< SetView > &  x,
ProjectorSet &  ps
)  [inline, protected]
 

Constructor for creation.

Definition at line 27 of file nary.icc.

Member Function Documentation

template<bool negated>
PropCost Gecode::Set::Projection::NaryProjection< negated >::cost (  void   )  const [inline, virtual]
 

Cost function.

Implements Gecode::Propagator.

Definition at line 51 of file nary.icc.

template<bool negated>
size_t Gecode::Set::Projection::NaryProjection< negated >::dispose (  Space *  home  )  [virtual]
 

Delete propagator.

Reimplemented from Gecode::Actor.

Definition at line 62 of file nary.icc.

template<bool negated>
Actor * Gecode::Set::Projection::NaryProjection< negated >::copy (  Space *  home,
bool 
)  [virtual]
 

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 87 of file nary.icc.

template<bool negated>
ExecStatus Gecode::Set::Projection::NaryProjection< negated >::propagate (  Space *  home  )  [virtual]
 

Perform propagation.

Implements Gecode::Propagator.

Definition at line 93 of file nary.icc.

template<bool negated>
ExecStatus Gecode::Set::Projection::NaryProjection< negated >::post (  Space *  home,
ViewArray< SetView > &  x,
ProjectorSet &  ps
)  [static]
 

Definition at line 76 of file nary.icc.

Member Data Documentation

template<bool negated>
ViewArray<SetView> Gecode::Set::Projection::NaryProjection< negated >::x [protected]
 

Array of views.

Definition at line 36 of file propagator.hh.

template<bool negated>
Support::SharedArray<PropCond> Gecode::Set::Projection::NaryProjection< negated >::pc [protected]
 

Array of PropConds.

Definition at line 38 of file propagator.hh.

template<bool negated>
ProjectorSet Gecode::Set::Projection::NaryProjection< negated >::ps [protected]
 

The projector set to propagate.

Definition at line 40 of file propagator.hh.

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