38 #ifndef __GECODE_INT_CUMULATIVES_HH__
39 #define __GECODE_INT_CUMULATIVES_HH__
43 namespace Gecode {
namespace Int {
namespace Cumulatives {
89 template<
class ViewM,
class ViewP,
class ViewU,
class View>
108 int* prune_tasks,
int& prune_tasks_size);
ExecStatus prune(Space &home, int low, int up, int r, int ntask, int su, int *contribution, int *prune_tasks, int &prune_tasks_size)
Base-class for propagators.
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.
Base-class for both propagators and branchers.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function (defined as low quadratic)
ModEventDelta med
A set of modification events (used during propagation)
virtual size_t dispose(Space &home)
Dispose propagator.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Val(Space &home, bool share, Val< ViewM, ViewP, ViewU, View > &p)
Propagator for the cumulatives constraint
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.