Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::Cumulatives::Val Class Reference

Propagator for the cumulatives constraint More...

#include <cumulatives.hh>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Create copy during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low quadratic)
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Dispose propagator.

Static Public Member Functions

static ExecStatus post (Home home, const ViewArray< ViewM > &, const ViewArray< View > &, const ViewArray< ViewP > &, const ViewArray< View > &, const ViewArray< ViewU > &, const SharedArray< int > &, bool)
 Post propagator.

Protected Member Functions

 Val (Space &home, bool share, Val< ViewM, ViewP, ViewU, View > &p)
 Val (Home home, const ViewArray< ViewM > &, const ViewArray< View > &, const ViewArray< ViewP > &, const ViewArray< View > &, const ViewArray< ViewU > &, const SharedArray< int > &, bool)
ExecStatus prune (Space &home, int low, int up, int r, int ntask, int su, int *contribution, int *prune_tasks, int &prune_tasks_size)

Protected Attributes

ViewArray< ViewM > m
ViewArray< View > s
ViewArray< ViewP > p
ViewArray< View > e
ViewArray< ViewU > u
SharedArray< int > c
const bool at_most

Detailed Description

Propagator for the cumulatives constraint

This class implements Beldiceanu's and Carlsson's sweep-line propagation algorithm for the cumulatives constraint.

Requires


Constructor & Destructor Documentation

Gecode::Int::Cumulatives::Val::Val ( Space home,
bool  share,
Val< ViewM, ViewP, ViewU, View > &  p 
) [inline, protected]

Definition at line 83 of file val.hpp.

Gecode::Int::Cumulatives::Val::Val ( Home  home,
const ViewArray< ViewM > &  _m,
const ViewArray< View > &  _s,
const ViewArray< ViewP > &  _p,
const ViewArray< View > &  _e,
const ViewArray< ViewU > &  _u,
const SharedArray< int > &  _c,
bool  _at_most 
) [inline, protected]

Definition at line 51 of file val.hpp.


Member Function Documentation

ExecStatus Gecode::Int::Cumulatives::Val::prune ( Space home,
int  low,
int  up,
int  r,
int  ntask,
int  su,
int *  contribution,
int *  prune_tasks,
int &  prune_tasks_size 
) [protected]

Definition at line 163 of file val.hpp.

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

Create copy during cloning.

Implements Gecode::Actor.

Definition at line 118 of file val.hpp.

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

Cost function (defined as low quadratic)

Implements Gecode::Propagator.

Definition at line 112 of file val.hpp.

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

Perform propagation.

Implements Gecode::Propagator.

Definition at line 266 of file val.hpp.

ExecStatus Gecode::Int::Cumulatives::Val::post ( Home  home,
const ViewArray< ViewM > &  m,
const ViewArray< View > &  s,
const ViewArray< ViewP > &  p,
const ViewArray< View > &  e,
const ViewArray< ViewU > &  u,
const SharedArray< int > &  c,
bool  at_most 
) [static]

Post propagator.

Definition at line 73 of file val.hpp.

size_t Gecode::Int::Cumulatives::Val::dispose ( Space home) [virtual]

Dispose propagator.

Reimplemented from Gecode::Actor.

Definition at line 96 of file val.hpp.


Member Data Documentation

Definition at line 92 of file cumulatives.hh.

Definition at line 93 of file cumulatives.hh.

Definition at line 94 of file cumulatives.hh.

Definition at line 95 of file cumulatives.hh.

Reimplemented from Gecode::Propagator.

Definition at line 96 of file cumulatives.hh.

Definition at line 97 of file cumulatives.hh.

Definition at line 98 of file cumulatives.hh.


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