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 81 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 (void) const |
Cost function. | |
virtual ExecStatus | propagate (Space *home) |
Propagation function. | |
Static Public Member Functions | |
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 | ) | [virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
Actor * Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::copy | ( | Space * | home, | |
bool | share | |||
) | [virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
PropCost Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::cost | ( | void | ) | const [virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
ExecStatus Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::propagate | ( | Space * | home | ) | [virtual] |
template<class ViewM, class ViewD, class ViewH, class View>
ExecStatus Gecode::Int::Cumulatives::Val< ViewM, ViewD, ViewH, View >::post | ( | Space * | home, | |
const ViewArray< ViewM > & | , | |||
const ViewArray< View > & | , | |||
const ViewArray< ViewD > & | , | |||
const ViewArray< View > & | , | |||
const ViewArray< ViewH > & | , | |||
const IntArgs & | , | |||
bool | ||||
) | [static] |
The documentation for this class was generated from the following files:
- gecode/int/cumulatives.hh (Revision: 3512)
- gecode/int/cumulatives/val.icc (Revision: 3512)