Generated on Thu Jul 6 07:07:07 2006 for Gecode by doxygen 1.4.7

Gecode::Set::Int::Match Class Reference
[Set propagators]

#include <int.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

Propagator for the match constraint

Requires

 #include "gecode/set/int.hh" 

Definition at line 109 of file int.hh.

Public Member Functions

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

Static Public Member Functions

static ExecStatus post (Space *home, SetView s, ViewArray< Gecode::Int::IntView > &x)
 Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.

Protected Member Functions

 Match (Space *home, bool share, Match &p)
 Constructor for cloning p.
 Match (Space *home, SetView, ViewArray< Gecode::Int::IntView > &)
 Constructor for posting.

Protected Attributes

SetView x0
 SetView for the match.
ViewArray< Gecode::Int::IntViewxs
 IntViews that together form the set x0.


Constructor & Destructor Documentation

Gecode::Set::Int::Match::Match ( Space home,
bool  share,
Match p 
) [inline, protected]

Constructor for cloning p.

Definition at line 42 of file match.icc.

Gecode::Set::Int::Match::Match ( Space home,
SetView  ,
ViewArray< Gecode::Int::IntView > &   
) [inline, protected]

Constructor for posting.

Definition at line 35 of file match.icc.


Member Function Documentation

Actor * Gecode::Set::Int::Match::copy ( Space home,
bool   
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 51 of file match.cc.

PropCost Gecode::Set::Int::Match::cost ( void   )  const [virtual]

Cost function (defined as PC_LINEAR_LO).

Implements Gecode::Propagator.

Definition at line 37 of file match.cc.

size_t Gecode::Set::Int::Match::dispose ( Space home  )  [virtual]

Delete Propagator.

Reimplemented from Gecode::Actor.

Definition at line 42 of file match.cc.

ExecStatus Gecode::Set::Int::Match::propagate ( Space home  )  [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 56 of file match.cc.

ExecStatus Gecode::Set::Int::Match::post ( Space home,
SetView  s,
ViewArray< Gecode::Int::IntView > &  x 
) [inline, static]

Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.

Definition at line 49 of file match.icc.


Member Data Documentation

SetView for the match.

Definition at line 112 of file int.hh.

IntViews that together form the set x0.

Definition at line 114 of file int.hh.


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