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

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 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, 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< SetViewx
 Array of views.
Support::SharedArray< PropCondpc
 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: