Generated on Sat Nov 11 01:12:22 2006 for Gecode by doxygen 1.5.1

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

#include <int.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

Propagator for weight of a set

Requires

 #include "gecode/set/int.hh" 

Definition at line 183 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 and return its size.
virtual ExecStatus propagate (Space *home)
 Perform propagation.

Static Public Member Functions

static ExecStatus post (Space *home, const IntArgs &elements, const IntArgs &weights, SetView 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 (Space *home, const IntArgs &, const IntArgs &, SetView, Gecode::Int::IntView)
 Constructor for posting.

Protected Attributes

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


Constructor & Destructor Documentation

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

Constructor for cloning p.

Definition at line 149 of file weights.icc.

Gecode::Set::Int::Weights::Weights ( Space home,
const IntArgs ,
const IntArgs ,
SetView  ,
Gecode::Int::IntView   
) [inline, protected]

Constructor for posting.

Definition at line 135 of file weights.icc.


Member Function Documentation

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

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 53 of file weights.cc.

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

Cost function (defined as PC_LINEAR_LO).

Implements Gecode::Propagator.

Definition at line 39 of file weights.cc.

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

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 44 of file weights.cc.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 99 of file weights.cc.

ExecStatus Gecode::Set::Int::Weights::post ( Space home,
const IntArgs elements,
const IntArgs weights,
SetView  x,
Gecode::Int::IntView  y 
) [inline, static]

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

Definition at line 158 of file weights.icc.


Member Data Documentation

List of elements in the upper bound.

Definition at line 186 of file int.hh.

Weights for the elements in the upper bound.

Definition at line 188 of file int.hh.

The set view.

Definition at line 191 of file int.hh.

The integer view.

Definition at line 193 of file int.hh.


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