Generated on Tue Sep 25 2012 20:53:31 for Gecode by doxygen 1.7.5
Gecode::Int::Member::Prop Class Reference

Membership propagator. More...

#include <member.hh>

List of all members.

Public Member Functions

virtual PropCost cost (const Space &, const ModEventDelta &med) const
 Cost function.
virtual Propagatorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< View > &x, View y)
 Post propagator for $y\in \{x_0,\ldots,x_{|x|-1}\}$.
static ExecStatus post (Home home, ValSet &vs, ViewArray< View > &x, View y)
 Post propagator for $y\in vs\cup \{x_0,\ldots,x_{|x|-1}\}$.

Protected Member Functions

void eliminate (Space &home)
 Eliminate views from x that are not equal to y or ar subsumed by vs.
 Prop (Home home, ValSet &vs, ViewArray< View > &x, View y)
 Constructor for posting.
 Prop (Space &home, bool share, Prop< View > &p)
 Constructor for cloning p.

Static Protected Member Functions

static void add (Space &home, ValSet &vs, ViewArray< View > &x)
 Add values of assigned views in x to value set va.

Protected Attributes

ValSet vs
 Value set storing the values of already assigned views.

Detailed Description

Membership propagator.

Requires


Constructor & Destructor Documentation

Gecode::Int::Member::Prop::Prop ( Home  home,
ValSet vs,
ViewArray< View > &  x,
View  y 
) [inline, protected]

Constructor for posting.

Definition at line 44 of file prop.hpp.

Gecode::Int::Member::Prop::Prop ( Space home,
bool  share,
Prop< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 110 of file prop.hpp.


Member Function Documentation

void Gecode::Int::Member::Prop::add ( Space home,
ValSet vs,
ViewArray< View > &  x 
) [inline, static, protected]

Add values of assigned views in x to value set va.

Definition at line 50 of file prop.hpp.

void Gecode::Int::Member::Prop::eliminate ( Space home) [inline, protected]

Eliminate views from x that are not equal to y or ar subsumed by vs.

Definition at line 62 of file prop.hpp.

PropCost Gecode::Int::Member::Prop::cost ( const Space ,
const ModEventDelta med 
) const [virtual]

Cost function.

Reimplemented from Gecode::NaryOnePropagator< View, PC_INT_DOM >.

Definition at line 131 of file prop.hpp.

Propagator * Gecode::Int::Member::Prop::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Reimplemented in Gecode::Int::Member::ReProp.

Definition at line 117 of file prop.hpp.

ExecStatus Gecode::Int::Member::Prop::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Reimplemented in Gecode::Int::Member::ReProp.

Definition at line 137 of file prop.hpp.

ExecStatus Gecode::Int::Member::Prop::post ( Home  home,
ViewArray< View > &  x,
View  y 
) [inline, static]

Post propagator for $y\in \{x_0,\ldots,x_{|x|-1}\}$.

Definition at line 75 of file prop.hpp.

ExecStatus Gecode::Int::Member::Prop::post ( Home  home,
ValSet vs,
ViewArray< View > &  x,
View  y 
) [inline, static]

Post propagator for $y\in vs\cup \{x_0,\ldots,x_{|x|-1}\}$.

Definition at line 103 of file prop.hpp.

size_t Gecode::Int::Member::Prop::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::NaryOnePropagator< View, PC_INT_DOM >.

Reimplemented in Gecode::Int::Member::ReProp.

Definition at line 123 of file prop.hpp.


Member Data Documentation

Value set storing the values of already assigned views.

Definition at line 63 of file member.hh.


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