Generated on Mon May 5 05:54:18 2008 for Gecode by doxygen 1.5.5

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 193 of file select.hh.


Public Member Functions

virtual Actorcopy (Space *home, bool)
 Copy propagator during cloning.
virtual PropCost cost (ModEventDelta med) const
 Cost function.
virtual size_t dispose (Space *home)
 Delete propagator and return its size.
virtual ExecStatus propagate (Space *home, ModEventDelta med)
 Perform propagation.
virtual Reflection::ActorSpec spec (const Space *home, Reflection::VarMap &m) const
 Specification for this propagator.

Static Public Member Functions

static void post (Space *home, Reflection::VarMap &vars, const Reflection::ActorSpec &spec)
 Post using specification.
static Support::Symbol ati (void)
 Name of this propagator.
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 53 of file disjoint.icc.

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

Constructor for posting.

Definition at line 43 of file disjoint.icc.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 81 of file disjoint.cc.

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

Cost function.

Implements Gecode::Propagator.

Definition at line 47 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 72 of file disjoint.cc.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 86 of file disjoint.cc.

Reflection::ActorSpec Gecode::Set::Select::SelectDisjoint::spec ( const Space home,
Reflection::VarMap m 
) const [virtual]

Specification for this propagator.

Reimplemented from Gecode::Actor.

Definition at line 57 of file disjoint.cc.

void Gecode::Set::Select::SelectDisjoint::post ( Space home,
Reflection::VarMap vars,
const Reflection::ActorSpec spec 
) [static]

Post using specification.

Definition at line 63 of file disjoint.cc.

Support::Symbol Gecode::Set::Select::SelectDisjoint::ati ( void   )  [static]

Name of this propagator.

Definition at line 52 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 60 of file disjoint.icc.


Member Data Documentation

Definition at line 196 of file select.hh.

Definition at line 197 of file select.hh.


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