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

Gecode::Set::Select::SelectDisjoint Class Reference
[Set propagators]

#include <select.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

Propagator for selected disjointness

Requires

Definition at line 83 of file select.hh.

Public Member Functions

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

Static Public Member Functions

static ExecStatus post (Space *home, IdxViewArray< SetView > &x, SetView y)
 Post propagator for $ \parallel\langle x_0,\dots,x_{n-1}\rangle[y] $.

Protected Member Functions

 SelectDisjoint (Space *home, bool share, SelectDisjoint &p)
 Constructor for cloning p.
 SelectDisjoint (Space *home, IdxViewArray< SetView > &, SetView)
 Constructor for posting.

Protected Attributes

IdxViewArray< SetViewiv
SetView x1


Constructor & Destructor Documentation

Gecode::Set::Select::SelectDisjoint::SelectDisjoint ( Space home,
bool  share,
SelectDisjoint p 
) [inline, protected]

Constructor for cloning p.

Definition at line 37 of file disjoint.icc.

Gecode::Set::Select::SelectDisjoint::SelectDisjoint ( Space home,
IdxViewArray< SetView > &  ,
SetView   
) [inline, protected]

Constructor for posting.

Definition at line 27 of file disjoint.icc.


Member Function Documentation

Actor * Gecode::Set::Select::SelectDisjoint::copy ( Space home,
bool   
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 50 of file disjoint.cc.

PropCost Gecode::Set::Select::SelectDisjoint::cost ( void   )  const [virtual]

Cost function.

Implements Gecode::Propagator.

Definition at line 36 of file disjoint.cc.

size_t Gecode::Set::Select::SelectDisjoint::dispose ( Space home  )  [virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 41 of file disjoint.cc.

ExecStatus Gecode::Set::Select::SelectDisjoint::propagate ( Space home  )  [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 55 of file disjoint.cc.

ExecStatus Gecode::Set::Select::SelectDisjoint::post ( Space home,
IdxViewArray< SetView > &  x,
SetView  y 
) [inline, static]

Post propagator for $ \parallel\langle x_0,\dots,x_{n-1}\rangle[y] $.

Definition at line 44 of file disjoint.icc.


Member Data Documentation

Definition at line 86 of file select.hh.

Definition at line 87 of file select.hh.


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