Generated on Thu Oct 26 14:26:10 2006 for Gecode by doxygen 1.4.7

Gecode::Set::Projection::CardProjection Class Reference

#include <propagator.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

Nary cardinality projection propagator.

Definition at line 93 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::IntView i, Projector &p)

Protected Member Functions

 CardProjection (Space *home, bool share, CardProjection &p)
 Constructor for cloning p.
 CardProjection (Space *home, ViewArray< SetView > &x, Gecode::Int::IntView i, Projector &ps)
 Constructor for creation.

Protected Attributes

ViewArray< SetViewx
 Array of views.
Gecode::Int::IntView i
 Integer view for cardinality.
Support::SharedArray< PropCondpc
 Array of PropConds.
Projector proj
 The projector to propagate.


Constructor & Destructor Documentation

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

Constructor for cloning p.

Definition at line 39 of file card.icc.

Gecode::Set::Projection::CardProjection::CardProjection ( Space home,
ViewArray< SetView > &  x,
Gecode::Int::IntView  i,
Projector ps 
) [inline, protected]

Constructor for creation.

Definition at line 26 of file card.icc.


Member Function Documentation

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

Cost function.

Implements Gecode::Propagator.

Definition at line 47 of file card.icc.

size_t Gecode::Set::Projection::CardProjection::dispose ( Space home  )  [inline, virtual]

Delete propagator.

Reimplemented from Gecode::Actor.

Definition at line 57 of file card.icc.

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 78 of file card.icc.

ExecStatus Gecode::Set::Projection::CardProjection::propagate ( Space home  )  [inline, virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 83 of file card.icc.

ExecStatus Gecode::Set::Projection::CardProjection::post ( Space home,
ViewArray< SetView > &  x,
Gecode::Int::IntView  i,
Projector p 
) [inline, static]

Definition at line 70 of file card.icc.


Member Data Documentation

Array of views.

Definition at line 96 of file propagator.hh.

Integer view for cardinality.

Definition at line 98 of file propagator.hh.

Array of PropConds.

Definition at line 100 of file propagator.hh.

The projector to propagate.

Definition at line 102 of file propagator.hh.


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