Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View > Class Template Reference
[Integer propagators]
#include <cumulatives.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class ViewM, class ViewD, class ViewH, class View>
class Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >
Propagator for the cumulatives constraint.
This class implements Beldiceanu's and Carlsson's sweep-line propagation algorithm for the cumulatives constraint.
Requires
#include "gecode/int/cumulatives.hh"
Definition at line 93 of file cumulatives.hh.
Public Member Functions | |
virtual size_t | dispose (Space *home) |
Delete actor and return its size. | |
virtual Actor * | copy (Space *home, bool share) |
Create copy. | |
virtual PropCost | cost (ModEventDelta med) const |
Cost function. | |
virtual ExecStatus | propagate (Space *home, ModEventDelta med) |
Propagation function. | |
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 propagator according to specification. | |
static Support::Symbol | ati (void) |
Name of this propagator. | |
static ExecStatus | post (Space *home, const ViewArray< ViewM > &, const ViewArray< View > &, const ViewArray< ViewD > &, const ViewArray< View > &, const ViewArray< ViewH > &, const IntArgs &, bool) |
Member Function Documentation
template<class ViewM, class ViewD, class ViewH, class View>
size_t Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::dispose | ( | Space * | home | ) | [inline, virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
Actor * Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::copy | ( | Space * | , | |
bool | ||||
) | [inline, virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
PropCost Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::cost | ( | ModEventDelta | med | ) | const [inline, virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
ExecStatus Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::propagate | ( | Space * | home, | |
ModEventDelta | med | |||
) | [inline, virtual] |
Propagation function.
The propagation function must return an execution status as follows:
- ES_FAILED: the propagator has detected failure
- ES_NOFIX: the propagator has done propagation
- ES_FIX: the propagator has done propagation and has computed a fixpoint. That is, running the propagator immediately again will do nothing.
Apart from the above values, a propagator can return the result from calling one of the functions
- ES_SUBSUMED: the propagator is subsumed and has been already deleted.
- ES_NOFIX_PARTIAL: the propagator has consumed some of its propagation events.
- ES_FIX_PARTIAL: the propagator has consumed some of its propagation events and with respect to these events is at fixpoint For more details, see the individual functions.
Implements Gecode::Propagator.
template<class ViewM, class ViewD, class ViewH, class View>
Reflection::ActorSpec Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::spec | ( | const Space * | home, | |
Reflection::VarMap & | m | |||
) | const [inline, virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
void Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::post | ( | Space * | home, | |
Reflection::VarMap & | vars, | |||
const Reflection::ActorSpec & | spec | |||
) | [inline, static] |
template<class ViewM, class ViewD, class ViewH, class View>
Support::Symbol Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::ati | ( | void | ) | [inline, static] |
template<class ViewM, class ViewD, class ViewH, class View>
ExecStatus Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::post | ( | Space * | home, | |
const ViewArray< ViewM > & | machine, | |||
const ViewArray< View > & | start, | |||
const ViewArray< ViewD > & | duration, | |||
const ViewArray< View > & | end, | |||
const ViewArray< ViewH > & | height, | |||
const IntArgs & | limit, | |||
bool | at_most | |||
) | [inline, static] |
The documentation for this class was generated from the following files:
- gecode/int/cumulatives.hh (Revision: 7482)
- gecode/int/cumulatives/val.icc (Revision: 7668)