Generated on Sat Aug 25 2012 15:53:14 for Gecode by doxygen 1.7.5
Gecode::Set::Int::Weights Class Reference

Propagator for weight of a set More...

#include <int.hh>

List of all members.

Public Member Functions

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

Static Public Member Functions

static ExecStatus post (Home home, const SharedArray< int > &elements, const SharedArray< int > &weights, View x, Gecode::Int::IntView y)
 Post propagator for $\sum_{i\in x} weights_i = y $.

Protected Member Functions

 Weights (Space &home, bool share, Weights &p)
 Constructor for cloning p.
 Weights (Home home, const SharedArray< int > &, const SharedArray< int > &, View, Gecode::Int::IntView)
 Constructor for posting.

Protected Attributes

SharedArray< int > elements
 List of elements in the upper bound.
SharedArray< int > weights
 Weights for the elements in the upper bound.
View x
 The set view.
Gecode::Int::IntView y
 The integer view.

Detailed Description

Propagator for weight of a set

Requires

 #include <gecode/set/int.hh> 

Constructor & Destructor Documentation

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

Constructor for cloning p.

Definition at line 163 of file weights.hpp.

Gecode::Set::Int::Weights::Weights ( Home  home,
const SharedArray< int > &  elements0,
const SharedArray< int > &  weights0,
View  x0,
Gecode::Int::IntView  y0 
) [inline, protected]

Constructor for posting.

Definition at line 150 of file weights.hpp.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 209 of file weights.hpp.

PropCost Gecode::Set::Int::Weights::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as PC_LINEAR_LO)

Implements Gecode::Propagator.

Definition at line 191 of file weights.hpp.

size_t Gecode::Set::Int::Weights::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 197 of file weights.hpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 246 of file weights.hpp.

ExecStatus Gecode::Set::Int::Weights::post ( Home  home,
const SharedArray< int > &  elements,
const SharedArray< int > &  weights,
View  x,
Gecode::Int::IntView  y 
) [inline, static]

Post propagator for $\sum_{i\in x} weights_i = y $.

Definition at line 173 of file weights.hpp.


Member Data Documentation

List of elements in the upper bound.

Definition at line 418 of file int.hh.

Weights for the elements in the upper bound.

Definition at line 420 of file int.hh.

View Gecode::Set::Int::Weights::x [protected]

The set view.

Definition at line 423 of file int.hh.

The integer view.

Definition at line 425 of file int.hh.


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